%0 Journal Article %1 journals/infsof/CarchioloFG92 %A Carchiolo, Vincenza %A Faro, Alberto %A Giordano, Daniela %D 1992 %J Inf. Softw. Technol. %K dblp %N 8 %P 513-521 %T Formal description techniques and automated protocol synthesis. %U http://dblp.uni-trier.de/db/journals/infsof/infsof34.html#CarchioloFG92 %V 34

@article{journals/infsof/CarchioloFG92, added-at = {2020-02-20T00:00:00.000+0100}, author = {Carchiolo, Vincenza and Faro, Alberto and Giordano, Daniela}, biburl = {https://www.bibsonomy.org/bibtex/2abf8d15858ff3add427a726c73d56020/dblp}, ee = {https://doi.org/10.1016/0950-5849(92)90145-F}, interhash = {5e12137fbe4e56980c1b89076ed50914}, intrahash = {abf8d15858ff3add427a726c73d56020}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 8, pages = {513-521}, timestamp = {2020-02-21T13:01:52.000+0100}, title = {Formal description techniques and automated protocol synthesis.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof34.html#CarchioloFG92}, volume = 34, year = 1992 }