8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Omschrijving
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.
Ik heb een vraag over het boek:
‘Formal Modeling and Analysis of Timed Systems - Krishnendu Chatterjee, Thomas A. Henzinger’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
