%0 Journal Article %1 journals/acta/Esparza97 %A Esparza, Javier %D 1997 %J Acta Informatica %K dblp %N 2 %P 85-107 %T Decidability of Model Checking for Infinite-State Concurrent Systems. %U http://dblp.uni-trier.de/db/journals/acta/acta34.html#Esparza97 %V 34

@article{journals/acta/Esparza97, added-at = {2021-04-09T00:00:00.000+0200}, author = {Esparza, Javier}, biburl = {https://www.bibsonomy.org/bibtex/27cf2dce9b97922aa638a75c516df76b5/dblp}, ee = {https://doi.org/10.1007/s002360050074}, interhash = {c444ee955126d78fedc8e691c002cc59}, intrahash = {7cf2dce9b97922aa638a75c516df76b5}, journal = {Acta Informatica}, keywords = {dblp}, number = 2, pages = {85-107}, timestamp = {2024-04-08T16:44:14.000+0200}, title = {Decidability of Model Checking for Infinite-State Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta34.html#Esparza97}, volume = 34, year = 1997 }