Skip to contents

Larsen, Kim G. [Other]; Larsen, Kim Guldstrand [Editor] ; FORMATS 1 2003 Marseille

Formal modeling and analysis of timed systems : first international workshop, Marseille, France, September 6 - 7, 2003 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2791
Larsen, Kim G. [Editor]; Larsen, Kim Guldstrand [Editor] ; CONCUR 12 2001 Ålborg

Concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2154
Larsen, Kim G. [Other]; Larsen, Kim Guldstrand [Editor] ; ICALP 25 1998 Ålborg

Automata, languages and programming : 25th international colloquium, ICALP '98, Aalborg, Denmark, July 13 - 17, 1998 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1443
Larsen, Kim Guldstrand [Editor]; Skou, Arne [Editor] ; CAV 3 1991 Ålborg

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 575
Brinksma, Ed [Other]; Cleaveland, Walter R. [Editor]; Larsen, Kim Guldstrand [Editor]; Margaria-Steffen, Tiziana [Editor]; Steffen, Bernhard [Editor] ; TACAS 1 1995 Århus

Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 1019
Larsen, Kim G. [Author] ; Kim G. Larsen [Contributor]

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Larsen, Kim G. [Author] ; Kim G. Larsen [Contributor]

Priced Timed Automata: Theory and Tools

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
Brinksma, Ed [Author] ; Larsen, Kim Guldstrand [Other]

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2404
Larsen, Kim G. [Author] ; Nielsen, Mogens [Other]

CONCUR 2001 — Concurrency Theory : 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

Published in: Lecture notes in computer science ; 2154
Larsen, Kim G. [Author] ; Skyum, Sven [Other]; Winskel, Glynn [Other]

Automata, Languages and Programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1443
Larsen, Kim G. [Author] ; Skou, Arne [Other]

Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

Published in: Lecture notes in computer science ; 575
D'Souza, Deepak [Author] ; Lal, Akash [Editor]; Larsen, Kim Guldstrand [Editor]

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2015

Published in: Lecture notes in computer science ; 8931
Margaria, Tiziana [Editor]; Graf, Susanne [Editor]; Larsen, Kim G. [Editor]

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday - [1st ed. 2019]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2019

Published in: Theoretical Computer Science and General Issues ; 11200- Springer eBooks ; Computer Science
Larsen, Kim Guldstrand [Editor]; Sokolsky, Oleg [Editor]; Wang, Ji [Editor]

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2017

Published in: Lecture notes in computer science ; 10606
Larsen, Kim Guldstrand [Editor]; Potapov, Igor [Editor]; Srba, Jiří [Editor]

Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9899
Larsen, Kim G. [Author]; Schmid, Stefan [Author]; Xue, Bingtian [Author] ; Kim G. Larsen and Stefan Schmid and Bingtian Xue [Contributor]

WNetKAT: A Weighted SDN Programming and Verification Language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Larsen, Kim G. [Author]; Mardare, Radu [Author]; Xue, Bingtian [Author] ; Kim G. Larsen and Radu Mardare and Bingtian Xue [Contributor]

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Cardelli, Luca [Author]; Larsen, Kim G. [Author]; Mardare, Radu [Author] ; Luca Cardelli and Kim G. Larsen and Radu Mardare [Contributor]

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Larsen, Kim G. [Author]; Fahrenberg, Uli [Author]; Thrane, Claus [Author] ; Kim G. Larsen and Uli Fahrenberg and Claus Thrane [Contributor]

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
Larsen, Kim G. [Author]; Mikucionis, Marius [Author]; Nielsen, Brian [Author] ; Kim G. Larsen and Marius Mikucionis and Brian Nielsen [Contributor]

Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication