Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct S (Lecture Notes in Computer Science, 863)

Techniques

by: W. P. De Roever · Working Group Provably Correct Systems

Paperback

ISBN: 978-0-387-58468-3

ISBN-10: 0-387-58468-4

Springer Verlag · 1994