in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 3829 LNCS, Páginas: 226-241
Conference
3Rd International Conference on Formal Modeling and Analysis of Timed Systems, Formats 2005, Date: 26 September 2005 through 28 September 2005, Location: Uppsala
