dblp.uni-trier.dewww.uni-trier.de

Torsten K. Iversen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
1EETorsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen: Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. ECRTS 2000: 147-155

Coauthor Index

1Kåre J. Kristoffersen [1]
2Kim Guldstrand Larsen [1]
3Morten Laursen [1]
4Rune G. Madsen [1]
5Steffen K. Mortensen [1]
6Paul Pettersson [1]
7Chris B. Thomasen [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)