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
Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings Baeten Jos C.M. Heftet / 2003 / Engelsk
