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

Kim Guldstrand Larsen (Selection)

Kim G. Larsen

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten 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

Selection of 1 from 237 records - Kim Guldstrand Larsen has 173 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page