8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Description
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria.
I have a question about the book:
‘Formal Modeling and Analysis of Timed Systems - Krishnendu Chatterjee, Thomas A. Henzinger’.
Fill in the form below.
We will respond as fast as possible.
