mediaTUM - Media and Publication Server

User: Guest

10.1007/978-3-319-52234-0_23

Title:: Reachability for Dynamic Parametric Processes
Document type:: Buchbeitrag
Author(s):: Muscholl, Anca; Seidl, Helmut; Walukiewicz, Igor
Book title:: Lecture Notes in Computer Science
Publisher:: Springer International Publishing
Year:: 2017
Pages:: 424-441
Print-ISBN:: 97833195223339783319522340
DOI:: doi:10.1007/978-3-319-52234-0_23
BibTeX