%0 Conference Paper %1 conf/tacas/FerrariFGMPR97 %A Ferrari, Gian-Luigi %A Ferro, Gianluigi %A Gnesi, Stefania %A Montanari, Ugo %A Pistore, Marco %A Ristori, Gioia %B TACAS %D 1997 %E Brinksma, Ed %I Springer %K dblp %P 275-289 %T An Automated Based Verification Environment for Mobile Processes. %U http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#FerrariFGMPR97 %V 1217 %@ 3-540-62790-1

@inproceedings{conf/tacas/FerrariFGMPR97, added-at = {2023-06-23T00:00:00.000+0200}, author = {Ferrari, Gian-Luigi and Ferro, Gianluigi and Gnesi, Stefania and Montanari, Ugo and Pistore, Marco and Ristori, Gioia}, biburl = {https://www.bibsonomy.org/bibtex/235b9ef9675a07e3af02123c7701ab58c/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1997}, editor = {Brinksma, Ed}, ee = {https://doi.org/10.1007/BFb0035394}, interhash = {4f979c4f78cf883aff9907c595be0a87}, intrahash = {35b9ef9675a07e3af02123c7701ab58c}, isbn = {3-540-62790-1}, keywords = {dblp}, pages = {275-289}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:28:20.000+0200}, title = {An Automated Based Verification Environment for Mobile Processes.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#FerrariFGMPR97}, volume = 1217, year = 1997 }