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


49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). MFCS 1995: 519-528
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput. 2(3): 338-357 (1995)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou: Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen: Timed Modal Specification - Theory and Tools. CAV 1993: 253-267
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. FSTTCS 1992: 302-315
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. NAPAW 1992: 3-12

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