booktheque

Formal Modeling and Analysis of Timed Systems

Axel Legay, Marius Bozga · 2014

Where to buy

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

View on Amazon

Book details

Year
2014
Language
English
Publisher
Springer London, Limited
Editions
2
Pages
253
ISBN
9783319105123

Data source: Wikidata

More by Axel Legay

Runtime Verification
Axel Legay · 2013
Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay · 2017