Johan Bengtsson

发表

Wang Yi, Kim G. Larsen, Paul Pettersson, 2002, FTRTFT.

Johan Bengtsson, Henrik Stendahl, Göran Göransson, 2000 .

Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, 2002 .

Wang Yi, Kim G. Larsen, Paul Pettersson, 1996, TACAS.

Wang Yi, Kim G. Larsen, Paul Pettersson, 1996, Hybrid Systems.

Wang Yi, Kim G. Larsen, Paul Pettersson, 2002, J. Log. Algebraic Methods Program..

Wang Yi, Paul Pettersson, Fredrik Larsson, 1998 .

Anders Robertsson, Rolf Johansson, Klas Nilsson, 1999 .

Rolf Johansson, Bengt Johansson, Johan Bengtsson, 2006 .

Wang Yi, Bengt Jonsson, Johan Lilius, 1998, CONCUR.

Rolf Johansson, Bengt Johansson, Johan Bengtsson, 2004 .

Wang Yi, Johan Bengtsson, J. Bengtsson, 2003, Lectures on Concurrency and Petri Nets.

Johan Bengtsson, J. Bengtsson, 2004 .

Johan Bengtsson, J. Bengtsson, 2002 .

Anders Robertsson, Rolf Johansson, Tomas Olsson, 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

Johan Bengtsson, J. Bengtsson, 2001 .

Wang Yi, Kim G. Larsen, Paul Pettersson, 1996, CAV.

Johan Bengtsson, Carl Dagne, Ingemar Lindgren, 2006 .

Rolf Johansson, Johan Bengtsson, Mathias Haage, 2002 .

Rolf Johansson, Tomas Olsson, Johan Bengtsson, 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

Rolf Johansson, Bengt Johansson, Johan Bengtsson, 2007, Int. J. Control.

Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, 1996, TACAS.

Johan Bengtsson, Lennart Andersson, Ulf Jönsson, 2006 .