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


75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. IEEE Real-Time Systems Symposium 1997: 2-13
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Kim Guldstrand Larsen: A refinement logic for the fork calculus. PSTV 1994: 5-20
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Kim Guldstrand Larsen: The Fork Calculus. Nord. J. Comput. 1(3): 346-363 (1994)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Kim Guldstrand Larsen: The Fork Calculus. ICALP 1993: 544-557

Selection of 5 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