%0 Conference Paper %1 conf/concur/BernardiH13 %A Bernardi, Giovanni %A Hennessy, Matthew %B CONCUR %D 2013 %E D'Argenio, Pedro R. %E Melgratti, Hernán C. %I Springer %K dblp %P 61-75 %T Mutually Testing Processes - (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/concur/concur2013.html#BernardiH13 %V 8052 %@ 978-3-642-40183-1

@inproceedings{conf/concur/BernardiH13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bernardi, Giovanni and Hennessy, Matthew}, biburl = {https://www.bibsonomy.org/bibtex/2c1fba2551e6e25985334203d34d15bbc/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2013}, editor = {D'Argenio, Pedro R. and Melgratti, Hernán C.}, ee = {https://doi.org/10.1007/978-3-642-40184-8_6}, interhash = {7140f3d166e812b8fe09f9ed7ce3420b}, intrahash = {c1fba2551e6e25985334203d34d15bbc}, isbn = {978-3-642-40183-1}, keywords = {dblp}, pages = {61-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:38.000+0200}, title = {Mutually Testing Processes - (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2013.html#BernardiH13}, volume = 8052, year = 2013 }