%0 Journal Article %1 journals/deds/WareM12 %A Ware, Simon %A Malik, Robi %D 2012 %J Discrete Event Dynamic Systems %K dblp %N 4 %P 451-477 %T Conflict-preserving abstraction of discrete event systems using annotated automata. %U http://dblp.uni-trier.de/db/journals/deds/deds22.html#WareM12 %V 22

@article{journals/deds/WareM12, added-at = {2012-09-13T00:00:00.000+0200}, author = {Ware, Simon and Malik, Robi}, biburl = {https://www.bibsonomy.org/bibtex/2242289825049b08485537142233b6265/dblp}, ee = {http://dx.doi.org/10.1007/s10626-012-0133-3}, interhash = {192c9464da57a31bc42b36223392a12f}, intrahash = {242289825049b08485537142233b6265}, journal = {Discrete Event Dynamic Systems}, keywords = {dblp}, number = 4, pages = {451-477}, timestamp = {2012-09-14T11:34:12.000+0200}, title = {Conflict-preserving abstraction of discrete event systems using annotated automata.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds22.html#WareM12}, volume = 22, year = 2012 }