%0 Journal Article %1 journals/tase/NazeemR11 %A Nazeem, Ahmed %A Reveliotis, Spiridon %D 2011 %J IEEE Trans Autom. Sci. Eng. %K %N 4 %P 766-779 %T A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems. %U http://dblp.uni-trier.de/db/journals/tase/tase8.html#NazeemR11 %V 8

@article{journals/tase/NazeemR11, added-at = {2023-12-13T02:10:16.000+0100}, author = {Nazeem, Ahmed and Reveliotis, Spiridon}, biburl = {https://www.bibsonomy.org/bibtex/20bd8f4a74e86e9e6e8d12f570e1ec91f/admin}, ee = {https://doi.org/10.1109/TASE.2011.2159112}, interhash = {7bd535c28f425c547b2e81f672d68c19}, intrahash = {0bd8f4a74e86e9e6e8d12f570e1ec91f}, journal = {IEEE Trans Autom. Sci. Eng.}, keywords = {}, number = 4, pages = {766-779}, timestamp = {2023-12-13T02:10:16.000+0100}, title = {A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems.}, url = {http://dblp.uni-trier.de/db/journals/tase/tase8.html#NazeemR11}, volume = 8, year = 2011 }