Author

Kim G. Larsen

5 books in our library

All books by Kim G. Larsen

5 books

Automata, Languages and Programming

by Gerhard Goos

Cover of Automata, Languages and Programming
Review
Buy this book More books like Automata, Languages and Programming

Formal Modeling and Analysis of Timed Systems

by Peter Niebert

Cover of Formal Modeling and Analysis of Timed Systems
Review
Buy this book More books like Formal Modeling and Analysis of Timed Systems

CONCUR 2001 - Concurrency Theory

by Mogens Nielsen

Cover of CONCUR 2001 - Concurrency Theory
Review
Buy this book More books like CONCUR 2001 - Concurrency Theory

A complete protocol verification using revitalized bisimulation

by Kim G. Larsen

Cover of A complete protocol verification using revitalized bisimulation
Review
Buy this book More books like A complete protocol verification using revitalized bisimulation

Computer Aided Verification: 3rd International Workshop, Cav 92

by Kim G. Larsen

Cover of Computer Aided Verification: 3rd International Workshop, Cav 92
Review
Buy this book More books like Computer Aided Verification: 3rd International Workshop, Cav 92

Looking for another book by Kim G. Larsen? Search by title