Formal Modeling and Analysis of Timed SystemsKim G. Larsen

Formal Modeling and Analysis of Timed Systems

Kim G. Larsen, Peter Niebert · 2004

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2004
Language: English
Publisher: Springer London, Limited
Editions: 1
ISBN: 9783540409038

Data source: Wikidata

More by Kim G. Larsen

Automata, Languages and ProgrammingKim G. Larsen

Automata, Languages and Programming

Kim G. Larsen · 1998

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