Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
| Title | Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings |
| Publication Type | Conference Proceedings |
| Year of Conference | 2013 |
| Editor | Braberman, VA, Fribourg, L |
| Conference Name | FORMATS |
| Series Title | Lecture Notes in Computer Science |
| Volume | 8053 |
| Publisher | Springer |
| ISBN Number | 978-3-642-40228-9 |
Work Package:
WP1
