Dependable Software Engineering. Theories Tools and Applications

By Kim Guldstrand Larsen, Ji Wang, Oleg Sokolsky

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

By Kim G. Larsen, CAV (Conference), Larsen, Kim G., Skou, Arne, Arne Skou

In their paper [BBK87] Baeten, Bergstra, and Klop showed that strong bisimulation equivalence is decidable for normed recursively defined BPA processes [BK88], a class of processes corresponding to...

Tools and Algorithms for the Construction and Analysis of Systems First International Workshop Tacas 95 Aarhus Denmark May 19 20 1995

By TACAS 95 1995 Arhus Denmark, Ed Brinksma

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

By Glynn Winskel, Sven Skyum, Kim G. Larsen, Languages, And Programming (25th : 1998 : Aalborg, Denmark) International Colloquium On Automata, International Colloquium On Algorithms, Languages And Programming

Kim G. Larsen, Sven Skyum, Glynn Winskel, (eds.). The International Colloquium On Algorithms, Languages, And Programming (icalp) Is The Annual Conference Of The European Association For Theoretical...

Formal Modeling and Analysis of Timed Systems

By FORMATS 2003 2003 Marseille France

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised PapersAuthor: Kim Guldstrand Larsen, Peter Niebert Publish...

CONCUR 2001 Concurrency Theory

By International Conference On Concurrency Theory 12th 2001 Aalborg Denmark

Computer Aided Verification

By

Computer Aided Verification 3rd International Workshop Cav 92

By Kim G. Larsen

Models Mindsets Meta The What the How and the Why Not

By Kim G. Larsen, Susanne Graf, Tiziana Margaria

CONCUR 2001 Concurrency Theory

By Kim G. Larsen, Mogens Nielsen