%0 Journal Article %1 journals/toplas/AlurBEGRY05 %A Alur, Rajeev %A Benedikt, Michael %A Etessami, Kousha %A Godefroid, Patrice %A Reps, Thomas W. %A Yannakakis, Mihalis %D 2005 %J ACM Trans. Program. Lang. Syst. %K dblp %N 4 %P 786-818 %T Analysis of recursive state machines. %U http://dblp.uni-trier.de/db/journals/toplas/toplas27.html#AlurBEGRY05 %V 27

@article{journals/toplas/AlurBEGRY05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Alur, Rajeev and Benedikt, Michael and Etessami, Kousha and Godefroid, Patrice and Reps, Thomas W. and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/25daa570490fab43e85522196202d5aa7/dblp}, ee = {https://doi.org/10.1145/1075382.1075387}, interhash = {13bf9ae111a5a22c7c4d087e498ff034}, intrahash = {5daa570490fab43e85522196202d5aa7}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 4, pages = {786-818}, timestamp = {2018-11-07T12:36:46.000+0100}, title = {Analysis of recursive state machines.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas27.html#AlurBEGRY05}, volume = 27, year = 2005 }