%0 Conference Paper %1 conf/atva/BDSV04 %A Bertolotti, Ivan Cibrario %A Durante, Luca %A Sisto, Riccardo %A Valenzano, Adriano %B ATVA %D 2004 %E Wang, Farn %I Springer %K dblp %P 135-149 %T Exploiting Symmetries for Testing Equivalence in the Spi Calculus. %U http://dblp.uni-trier.de/db/conf/atva/atva2004.html#BDSV04 %V 3299 %@ 3-540-23610-4

@inproceedings{conf/atva/BDSV04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Bertolotti, Ivan Cibrario and Durante, Luca and Sisto, Riccardo and Valenzano, Adriano}, biburl = {https://www.bibsonomy.org/bibtex/26cd55bde3da668bc92d5c067b34fec3c/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2004}, editor = {Wang, Farn}, ee = {https://doi.org/10.1007/978-3-540-30476-0_15}, interhash = {4c00f489ce91d6e002be0949aaba4d1e}, intrahash = {6cd55bde3da668bc92d5c067b34fec3c}, isbn = {3-540-23610-4}, keywords = {dblp}, pages = {135-149}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {Exploiting Symmetries for Testing Equivalence in the Spi Calculus.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2004.html#BDSV04}, volume = 3299, year = 2004 }