%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 = {2018-11-06T00:00:00.000+0100}, author = {Ferrari, Gian Luigi and Gnesi, Stefania and Montanari, Ugo and Pistore, Marco}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/297bf6cc9c77013582fb4d6507abe76a4/dblp}, ee = {https://doi.org/10.1145/990010.990013}, interhash = {14204ab947361dff45de3c9648a764dc}, intrahash = {97bf6cc9c77013582fb4d6507abe76a4}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 4, pages = {440-473}, timestamp = {2019-09-27T10:43:24.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 }