%0 Journal Article %1 journals/tcs/AlurEY05 %A Alur, Rajeev %A Etessami, Kousha %A Yannakakis, Mihalis %D 2005 %J Theor. Comput. Sci. %K dblp %N 1 %P 97-114 %T Realizability and verification of MSC graphs. %U http://dblp.uni-trier.de/db/journals/tcs/tcs331.html#AlurEY05 %V 331

@article{journals/tcs/AlurEY05, added-at = {2021-02-17T00:00:00.000+0100}, author = {Alur, Rajeev and Etessami, Kousha and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/2e2bd8b81d7b4991702395103535bf8c8/dblp}, ee = {https://doi.org/10.1016/j.tcs.2004.09.034}, interhash = {c8977df463082fdde6e95a55a17febbf}, intrahash = {e2bd8b81d7b4991702395103535bf8c8}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {97-114}, timestamp = {2024-04-08T18:44:47.000+0200}, title = {Realizability and verification of MSC graphs.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs331.html#AlurEY05}, volume = 331, year = 2005 }