%0 Journal Article %1 journals/tase/KlotzSSST13 %A Klotz, Thomas %A Schönherr, Jens %A Seßler, Norman %A Straube, Bernd %A Turek, Karsten %D 2013 %J IEEE Trans. Automation Science and Engineering %K dblp %N 4 %P 900-915 %T Automated Formal Verification of Routing in Material Handling Systems. %U http://dblp.uni-trier.de/db/journals/tase/tase10.html#KlotzSSST13 %V 10

@article{journals/tase/KlotzSSST13, added-at = {2016-03-09T00:00:00.000+0100}, author = {Klotz, Thomas and Schönherr, Jens and Seßler, Norman and Straube, Bernd and Turek, Karsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/268cc7f4d7f526fc2f51410fd7e86f518/dblp}, ee = {http://dx.doi.org/10.1109/TASE.2013.2276763}, interhash = {c7e609f48f9820397f74412ac66215b3}, intrahash = {68cc7f4d7f526fc2f51410fd7e86f518}, journal = {IEEE Trans. Automation Science and Engineering}, keywords = {dblp}, number = 4, pages = {900-915}, timestamp = {2016-03-10T11:36:37.000+0100}, title = {Automated Formal Verification of Routing in Material Handling Systems.}, url = {http://dblp.uni-trier.de/db/journals/tase/tase10.html#KlotzSSST13}, volume = 10, year = 2013 }