%0 Conference Paper %1 conf/forte/DuranteSV00 %A Durante, Luca %A Sisto, Riccardo %A Valenzano, Adriano %B FORTE %D 2000 %E Bolognesi, Tommaso %E Latella, Diego %I Kluwer %K dblp %P 155-170 %T A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. %U http://dblp.uni-trier.de/db/conf/forte/forte2000.html#DuranteSV00 %V 183 %@ 0-7923-7968-3

@inproceedings{conf/forte/DuranteSV00, added-at = {2002-02-19T00:00:00.000+0100}, author = {Durante, Luca and Sisto, Riccardo and Valenzano, Adriano}, biburl = {https://www.bibsonomy.org/bibtex/25a45ac22358522b808d58d0ee13fb015/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2000}, date = {2002-02-19}, description = {dblp}, editor = {Bolognesi, Tommaso and Latella, Diego}, interhash = {ecf427bb8e88850ccb3d9d73eab7c5ec}, intrahash = {5a45ac22358522b808d58d0ee13fb015}, isbn = {0-7923-7968-3}, keywords = {dblp}, pages = {155-170}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2002-02-19T00:00:00.000+0100}, title = {A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2000.html#DuranteSV00}, volume = 183, year = 2000 }