Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis.
E-book
Electronic resources
Record details
- ISBN: 9783642243103
- Physical Description: XI, 353 p. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.