Kim G. Larsen
Kim G. Larsen
4 ספרים במאגר
ספרים
Automata, Languages and ProgrammingKim G. Larsen
Automata, Languages and Programming
Kim G. Larsen · 1998
Formal Modeling and Analysis of Timed SystemsKim G. Larsen
Formal Modeling and Analysis of Timed Systems
Kim G. Larsen · 2004
CONCUR 2001 - Concurrency TheoryKim G. Larsen
CONCUR 2001 - Concurrency Theory
Kim G. Larsen · 2003
Computer Aided Verification: 3rd International Workshop, Cav 92Kim G. Larsen
Computer Aided Verification: 3rd International Workshop, Cav 92
Kim G. Larsen · 1992
ספרים משותפים ואוספים
ספרים שבהם Kim G. Larsen מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
