Formal Modeling and Analysis of Timed Systems
Elemento
- Título
- Formal Modeling and Analysis of Timed Systems
- Autores
- Sankaranarayanan
- Año Publicación
- 2015
- Editorial
- Springer International Publishing
- ISBN
- 978-3-319-22974-4
- eBook
- 978-3-319-22975-1
- Colecciones
- Springer