%0 Conference Paper %1 conf/csp/Kohler-BussmeierH14 %A Köhler-Bußmeier, Michael %A Heitmann, Frank %B CS&P %D 2014 %E Popova-Zeugmann, Louchka %I CEUR-WS.org %K dblp %P 101-112 %T An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. %U http://dblp.uni-trier.de/db/conf/csp/csp2014.html#Kohler-BussmeierH14 %V 1269

@inproceedings{conf/csp/Kohler-BussmeierH14, added-at = {2023-03-10T00:00:00.000+0100}, author = {Köhler-Bußmeier, Michael and Heitmann, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2b696c2203d7a52e6bc4228fa59bdb15a/dblp}, booktitle = {CS&P}, crossref = {conf/csp/2014}, editor = {Popova-Zeugmann, Louchka}, ee = {https://ceur-ws.org/Vol-1269/paper101.pdf}, interhash = {cb3bca82bfa1e10bb639b7a7581ec9c7}, intrahash = {b696c2203d7a52e6bc4228fa59bdb15a}, keywords = {dblp}, pages = {101-112}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T16:06:42.000+0200}, title = {An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.}, url = {http://dblp.uni-trier.de/db/conf/csp/csp2014.html#Kohler-BussmeierH14}, volume = 1269, year = 2014 }