Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden

Author

Bengt Jonsson, Joachim Parrow

Publisher

Springer

Subject

Computer Science

Year

1996

Vol/Edition

1135

ISBN

9783540706533