CONCUR '94: Concurrency Theory 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings Jonsson Bengt Heftet / 1994 / Engelsk
Formal Techniques in Real-Time and Fault-Tolerant Systems 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings Jonsson Bengt Heftet / 1996 / Engelsk
