%0 Conference Paper %1 conf/forte/HulsR19 %A Hüls, Jannik %A Remke, Anne %B FORTE %D 2019 %E Pérez, Jorge A. %E Yoshida, Nobuko %I Springer %K dblp %P 148-166 %T Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. %U http://dblp.uni-trier.de/db/conf/forte/forte2019.html#HulsR19 %V 11535 %@ 978-3-030-21759-4

@inproceedings{conf/forte/HulsR19, added-at = {2019-06-03T00:00:00.000+0200}, author = {Hüls, Jannik and Remke, Anne}, biburl = {https://www.bibsonomy.org/bibtex/229f3ff60a30baec0c17db1e73e476b4a/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2019}, editor = {Pérez, Jorge A. and Yoshida, Nobuko}, ee = {https://doi.org/10.1007/978-3-030-21759-4_9}, interhash = {ff72fea8a42678303c4a60a7ba845161}, intrahash = {29f3ff60a30baec0c17db1e73e476b4a}, isbn = {978-3-030-21759-4}, keywords = {dblp}, pages = {148-166}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:43:04.000+0200}, title = {Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2019.html#HulsR19}, volume = 11535, year = 2019 }