Formal Modeling and Analysis of Timed Systems
Elemento
- Título
- Formal Modeling and Analysis of Timed Systems
- Autores
- Braberman
- Año Publicación
- 2013
- Editorial
- Springer Berlin Heidelberg
- ISBN
- 978-3-642-40228-9
- eBook
- 978-3-642-40229-6
- Colecciones
- Springer