%0 Journal Article %1 journals/corr/MuschollSW16 %A Muscholl, Anca %A Seidl, Helmut %A Walukiewicz, Igor %D 2016 %J CoRR %K %T Reachability for dynamic parametric processes. %U http://dblp.uni-trier.de/db/journals/corr/corr1609.html#MuschollSW16 %V abs/1609.05385

@article{journals/corr/MuschollSW16, added-at = {2023-12-12T21:01:42.000+0100}, author = {Muscholl, Anca and Seidl, Helmut and Walukiewicz, Igor}, biburl = {https://www.bibsonomy.org/bibtex/26a344dc5ace1c6b99b63b829b5d986f5/admin}, ee = {http://arxiv.org/abs/1609.05385}, interhash = {37ff2c9187040ee343e9e3eb2d95297a}, intrahash = {6a344dc5ace1c6b99b63b829b5d986f5}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T21:01:42.000+0100}, title = {Reachability for dynamic parametric processes.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1609.html#MuschollSW16}, volume = {abs/1609.05385}, year = 2016 }