Tobias Amnell (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

Selection of 2 from 5 records - Tobias Amnell has 15 coauthors

2		Tobias Amnell, Alexandre David, Wang Yi: A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145
1		Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124