Releases by Kim G Larsen

In stock at iMusic Show unavailable items

Cover for Kim G Larsen · Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)

Formal Modeling and Analysis of ... (2004)

Cover for Kim G Larsen · Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991 - Proceedings) - Lecture Notes in Computer Science (Paperback Book) (1992)

Computer Aided Verification: 3rd... (1992)