%0 Conference Paper %1 conf/icaart/GreulichE16 %A Greulich, Christoph %A Edelkamp, Stefan %B ICAART (Revised Selected Papers) %D 2016 %E van den Herik, H. Jaap %E Filipe, Joaquim %K dblp %P 19-36 %T Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2016s.html#GreulichE16 %V 10162 %@ 978-3-319-53353-7

@inproceedings{conf/icaart/GreulichE16, added-at = {2017-05-25T00:00:00.000+0200}, author = {Greulich, Christoph and Edelkamp, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2df6b282fa4034ab5d7780042e4f265c8/dblp}, booktitle = {ICAART (Revised Selected Papers)}, crossref = {conf/icaart/2016s}, editor = {van den Herik, H. Jaap and Filipe, Joaquim}, ee = {https://doi.org/10.1007/978-3-319-53354-4_2}, interhash = {817b4ce0eda084edcb58d8510ee8674d}, intrahash = {df6b282fa4034ab5d7780042e4f265c8}, isbn = {978-3-319-53353-7}, keywords = {dblp}, pages = {19-36}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:21:28.000+0200}, title = {Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2016s.html#GreulichE16}, volume = 10162, year = 2016 }