%0 Journal Article %1 journals/tcs/BenesKLS09 %A Benes, Nikola %A Kretínský, Jan %A Larsen, Kim Guldstrand %A Srba, Jirí %D 2009 %J Theor. Comput. Sci. %K dblp %N 41 %P 4026-4043 %T On determinism in modal transition systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#BenesKLS09 %V 410

@article{journals/tcs/BenesKLS09, added-at = {2009-09-03T00:00:00.000+0200}, author = {Benes, Nikola and Kretínský, Jan and Larsen, Kim Guldstrand and Srba, Jirí}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b8b444147a0baefe37c0a9fdfe6911f/dblp}, ee = {http://dx.doi.org/10.1016/j.tcs.2009.06.009}, interhash = {4509759823c960dd08d5f1feb17d6409}, intrahash = {7b8b444147a0baefe37c0a9fdfe6911f}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 41, pages = {4026-4043}, timestamp = {2016-02-02T10:03:54.000+0100}, title = {On determinism in modal transition systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#BenesKLS09}, volume = 410, year = 2009 }