%0 Journal Article %1 journals/tii/WitschV12 %A Witsch, Maria %A Vogel-Heuser, Birgit %D 2012 %J IEEE Trans. Industrial Informatics %K dblp %N 2 %P 311-320 %T Towards a Formal Specification Framework for Manufacturing Execution Systems. %U http://dblp.uni-trier.de/db/journals/tii/tii8.html#WitschV12 %V 8

@article{journals/tii/WitschV12, added-at = {2018-11-14T00:00:00.000+0100}, author = {Witsch, Maria and Vogel-Heuser, Birgit}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2386a26cbd15bd17a77c933fd6e85f64c/dblp}, ee = {https://www.wikidata.org/entity/Q57391114}, interhash = {a15d9a2b69e0f7a0e6d68c4288c6f553}, intrahash = {386a26cbd15bd17a77c933fd6e85f64c}, journal = {IEEE Trans. Industrial Informatics}, keywords = {dblp}, number = 2, pages = {311-320}, timestamp = {2019-09-27T07:01:39.000+0200}, title = {Towards a Formal Specification Framework for Manufacturing Execution Systems.}, url = {http://dblp.uni-trier.de/db/journals/tii/tii8.html#WitschV12}, volume = 8, year = 2012 }