%0 Journal Article %1 journals/tcs/MadhusudanT02 %A Madhusudan, P. %A Thiagarajan, P. S. %D 2002 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 117-149 %T Branching time controllers for discrete event systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs274.html#MadhusudanT02 %V 274

@article{journals/tcs/MadhusudanT02, added-at = {2003-11-19T00:00:00.000+0100}, author = {Madhusudan, P. and Thiagarajan, P. S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c0b0b9f75320d3fbff45255841c488ec/dblp}, ee = {http://dx.doi.org/10.1016/S0304-3975(00)00307-8}, interhash = {912ea252f7a18b2c9a88a0697a4d0cf2}, intrahash = {c0b0b9f75320d3fbff45255841c488ec}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {117-149}, timestamp = {2016-02-02T10:03:17.000+0100}, title = {Branching time controllers for discrete event systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs274.html#MadhusudanT02}, volume = 274, year = 2002 }