Formal Techniques in Real-Time and Fault-Tolerant Systems

Author
Hans Langmaack, Willem-Paul Roever, Jan Vytopil
Publisher
Springer
Subject
Computer Science
Year
1994
Vol/Edition
863
ISBN
9783540489849