%0 Conference Paper %1 conf/cdc/MoorBW13 %A Moor, Thomas %A Baier, Christine %A Wittmann, Thomas %B CDC %D 2013 %I IEEE %K dblp %P 7291-7296 %T Consistent abstractions for the purpose of supervisory control. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2013.html#MoorBW13 %@ 978-1-4673-5714-2

@inproceedings{conf/cdc/MoorBW13, added-at = {2014-03-29T00:00:00.000+0100}, author = {Moor, Thomas and Baier, Christine and Wittmann, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23b9eedc9e5ffc24ff5179c1713f3c655/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2013}, ee = {http://dx.doi.org/10.1109/CDC.2013.6761046}, interhash = {ea7137c788eeb929225d164ee1c48f2c}, intrahash = {3b9eedc9e5ffc24ff5179c1713f3c655}, isbn = {978-1-4673-5714-2}, keywords = {dblp}, pages = {7291-7296}, publisher = {IEEE}, timestamp = {2016-02-02T14:17:32.000+0100}, title = {Consistent abstractions for the purpose of supervisory control.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2013.html#MoorBW13}, year = 2013 }