Fredrik Larsson
发表
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
Hybrid Systems.
Fredrik Larsson,
Daniel Forsgren,
Jesper Eskilson,
2002,
Computer.
J. Bengtsson,
Fredrik Larsson,
P. Pettersson,
1999
.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
1996,
TACAS.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
2003
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2003,
Real-Time Systems.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TACAS.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
Proceedings Real-Time Systems Symposium.
J. Bengtsson,
Fredrik Larsson,
P. Pettersson,
1999
.
Håkan Grahn,
Per Stenström,
Magnus Karlsson,
1998,
USENIX Annual Technical Conference.
Fredrik Larsson,
Peter S. Magnusson,
Bengt Werner,
1997
.