%0 Journal Article %1 journals/tase/SomnathS13 %A Somnath, N. %A Sreenivas, R. S. %D 2013 %J IEEE Trans. Automation Science and Engineering %K dblp %N 4 %P 1157-1160 %T On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets. %U http://dblp.uni-trier.de/db/journals/tase/tase10.html#SomnathS13 %V 10

@article{journals/tase/SomnathS13, added-at = {2016-03-09T00:00:00.000+0100}, author = {Somnath, N. and Sreenivas, R. S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28b6019048841cc679cff771d6211cc66/dblp}, ee = {http://dx.doi.org/10.1109/TASE.2012.2227961}, interhash = {627c918d7df17f5ef89a305dd68a969c}, intrahash = {8b6019048841cc679cff771d6211cc66}, journal = {IEEE Trans. Automation Science and Engineering}, keywords = {dblp}, number = 4, pages = {1157-1160}, timestamp = {2016-03-10T11:36:41.000+0100}, title = {On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tase/tase10.html#SomnathS13}, volume = 10, year = 2013 }