Login
- Titel:
Reachability for Dynamic Parametric Processes
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Muscholl, Anca; Seidl, Helmut; Walukiewicz, Igor
- Buchtitel:
- Lecture Notes in Computer Science
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2017
- Seiten/Umfang:
- 424-441
- Print-ISBN:
- 97833195223339783319522340
- DOI:
- doi:10.1007/978-3-319-52234-0_23
BibTeX