%0 Conference Paper %1 conf/vmcai/MuschollSW17 %A Muscholl, Anca %A Seidl, Helmut %A Walukiewicz, Igor %B VMCAI %D 2017 %E Bouajjani, Ahmed %E Monniaux, David %I Springer %K dblp %P 424-441 %T Reachability for Dynamic Parametric Processes. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#MuschollSW17 %V 10145 %@ 978-3-319-52233-3

@inproceedings{conf/vmcai/MuschollSW17, added-at = {2017-05-24T00:00:00.000+0200}, author = {Muscholl, Anca and Seidl, Helmut and Walukiewicz, Igor}, biburl = {https://www.bibsonomy.org/bibtex/2d9f8057bda791d3dc0f432716ee9df01/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2017}, editor = {Bouajjani, Ahmed and Monniaux, David}, ee = {https://doi.org/10.1007/978-3-319-52234-0_23}, interhash = {0347ce64c9bcf046a58149aab268f064}, intrahash = {d9f8057bda791d3dc0f432716ee9df01}, isbn = {978-3-319-52233-3}, keywords = {dblp}, pages = {424-441}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:33:11.000+0200}, title = {Reachability for Dynamic Parametric Processes.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#MuschollSW17}, volume = 10145, year = 2017 }