K. G. Larsen
5 published titles
Automata, languages and programming : 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540647813
- Springer
- 1998
- Details
CONCUR 2001 : concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
(Contributor)
1 edition
- ISBN: 3540424970
- Springer
- 2001
- Details
Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540439978
- Springer
- 2002
- Details
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
(Contributor)
1 edition
- ISBN: 3540216715
- Springer
- 2004
- Details
Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, proceedings
(Contributor)
1 edition
- ISBN: 9783662460801
- Springer
- 2015
- Details
