Bengt Jonsson profile picture

Bengt Jonsson

The Forest Management Planning Package Theory and Application
CONCUR '94: Concurrency Theory 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
Model-Based Testing of Reactive Systems Advanced Lectures
Formal Techniques in Real-Time and Fault-Tolerant Systems 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
CONCUR '94: Concurrency Theory 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings