%0 Journal Article %1 journals/tac/SalimiS15 %A Salimi, E. %A Sreenivas, R. S. %D 2015 %J IEEE Trans. Automat. Contr. %K dblp %N 10 %P 2825-2830 %T On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets. %U http://dblp.uni-trier.de/db/journals/tac/tac60.html#SalimiS15 %V 60

@article{journals/tac/SalimiS15, added-at = {2015-09-29T00:00:00.000+0200}, author = {Salimi, E. and Sreenivas, R. S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24c36ba3d518b1b6295d26bcf60817dc2/dblp}, ee = {http://dx.doi.org/10.1109/TAC.2015.2398951}, interhash = {6b567c5c60c7de2e84b5a971b681e0ad}, intrahash = {4c36ba3d518b1b6295d26bcf60817dc2}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 10, pages = {2825-2830}, timestamp = {2016-02-02T06:21:27.000+0100}, title = {On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac60.html#SalimiS15}, volume = 60, year = 2015 }