---------------------------------------------------------------
Author: Kim G Larsen
Number of Pages: 296 pages
Published Date: 15 Jan 2014
Publisher: Springer
Publication Country: United States
Language: none
ISBN: 9783662165423
File size: 23 Mb
File Name: Formal.Modeling.and.Analysis.of.Timed.Systems.pdf
Download Link: Formal Modeling and Analysis of Timed Systems
---------------------------------------------------------------