%0 Journal Article %1 journals/eatcs/InverardiP91 %A Inverardi, Paola %A Priami, Corrado %D 1991 %J Bulletin of the EATCS %K dblp %P 158-185 %T Evaluation of Tools for the Analysis of Communicating Systems. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs45.html#InverardiP91 %V 45

@article{journals/eatcs/InverardiP91, added-at = {2003-07-07T00:00:00.000+0200}, author = {Inverardi, Paola and Priami, Corrado}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24366a0eb0a31fefdcea735a643aad321/dblp}, interhash = {b3c659fd40a7f086b4939d9d03346382}, intrahash = {4366a0eb0a31fefdcea735a643aad321}, journal = {Bulletin of the EATCS}, keywords = {dblp}, pages = {158-185}, timestamp = {2016-02-02T07:10:26.000+0100}, title = {Evaluation of Tools for the Analysis of Communicating Systems.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs45.html#InverardiP91}, volume = 45, year = 1991 }