%0 Journal Article %1 journals/tosem/FerrariGMP03 %A Ferrari, Gian-Luigi %A Gnesi, Stefania %A Montanari, Ugo %A Pistore, Marco %D 2003 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 4 %P 440-473 %T A model-checking verification environment for mobile processes. %U http://dblp.uni-trier.de/db/journals/tosem/tosem12.html#FerrariGMP03 %V 12

@article{journals/tosem/FerrariGMP03, added-at = {2023-06-23T00:00:00.000+0200}, author = {Ferrari, Gian-Luigi and Gnesi, Stefania and Montanari, Ugo and Pistore, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2dcacb0e9610651c234d1a8d3b59bed9b/dblp}, ee = {https://doi.org/10.1145/990010.990013}, interhash = {14204ab947361dff45de3c9648a764dc}, intrahash = {dcacb0e9610651c234d1a8d3b59bed9b}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 4, pages = {440-473}, timestamp = {2024-04-09T02:03:09.000+0200}, title = {A model-checking verification environment for mobile processes.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem12.html#FerrariGMP03}, volume = 12, year = 2003 }