Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings: 1135 (Lecture Notes in Computer Science)
by Bengt Jonsson,Joachim Parrow
ISBN 13: 9783540616481
Format: Paperback (500 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings: 836 (Lecture Notes in Computer Science)
ISBN 13: 9783540583295
Format: Illustrated (548 pages) Publisher: Springer Published: 27 Jul 1994