Normal view MARC view

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England) (Meeting Name)

Number of records used in: 1
Preferred form: Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England)

Machine generated authority record.

Work cat.: (AT-ISTA): Formal techniques in real-time and fault-tolerant systems :

Powered by Koha