Formal Modeling and Analysis of Timed Systems
Elemento
Título (dcterms:title)
Formal Modeling and Analysis of Timed Systems
Autores (dcterms:creator)
Braberman
Año Publicación (dcterms:date)
2013
Editorial (dcterms:publisher)
Springer Berlin Heidelberg
ISBN (bibo:isbn)
978-3-642-40228-9
eBook (bibo:isbn13)
978-3-642-40229-6
PDF (bibo:uri)
Colecciones
Not viewed