Related Books
Language: en
Pages: 377
Pages: 377
Type: BOOK - Published: 2007-09-20 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers wor
Language: en
Pages: 305
Pages: 305
Type: BOOK - Published: 2008-08-30 - Publisher: Springer
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint
Language: en
Pages: 368
Pages: 368
Type: BOOK - Published: 2011-09-29 - Publisher:
Language: en
Pages: 266
Pages: 266
Type: BOOK - Published: 2010-08-30 - Publisher: Springer Science & Business Media
This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg
Language: en
Pages: 363
Pages: 363
Type: BOOK - Published: 2011-09-25 - Publisher: Springer
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalbo