%0 Conference Paper %1 conf/spin/EdelkampG16 %A Edelkamp, Stefan %A Greulich, Christoph %B SPIN %D 2016 %E Bosnacki, Dragan %E Wijs, Anton %I Springer %K dblp %P 57-77 %T Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. %U http://dblp.uni-trier.de/db/conf/spin/spin2016.html#EdelkampG16 %V 9641 %@ 978-3-319-32581-1

@inproceedings{conf/spin/EdelkampG16, added-at = {2017-05-17T00:00:00.000+0200}, author = {Edelkamp, Stefan and Greulich, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b26fd89085fb380e7021df9a310eeedd/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2016}, editor = {Bosnacki, Dragan and Wijs, Anton}, ee = {https://doi.org/10.1007/978-3-319-32582-8_4}, interhash = {6e989106a18b8d1ee084412543c55816}, intrahash = {b26fd89085fb380e7021df9a310eeedd}, isbn = {978-3-319-32581-1}, keywords = {dblp}, pages = {57-77}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:02:37.000+0200}, title = {Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2016.html#EdelkampG16}, volume = 9641, year = 2016 }