%0 Conference Paper %1 conf/ifip/DiazS83 %A Diaz, Michel %A Silveira, Géraldo Guidacci Da %B IFIP Congress %D 1983 %E Mason, R. E. A. %I North-Holland/IFIP %K dblp %P 47-52 %T Specification and Validation of Protocols by Temporal Logic and Nets. %U http://dblp.uni-trier.de/db/conf/ifip/ifip83.html#DiazS83 %@ 0-444-86729-5

@inproceedings{conf/ifip/DiazS83, added-at = {2019-07-27T00:00:00.000+0200}, author = {Diaz, Michel and Silveira, Géraldo Guidacci Da}, biburl = {https://www.bibsonomy.org/bibtex/2a3888ac5bfc1d9179c288fdfc99a5464/dblp}, booktitle = {IFIP Congress}, crossref = {conf/ifip/1983}, editor = {Mason, R. E. A.}, interhash = {074b0af512496ea0f6d5aa3b54c6c486}, intrahash = {a3888ac5bfc1d9179c288fdfc99a5464}, isbn = {0-444-86729-5}, keywords = {dblp}, pages = {47-52}, publisher = {North-Holland/IFIP}, timestamp = {2019-07-30T11:50:21.000+0200}, title = {Specification and Validation of Protocols by Temporal Logic and Nets.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip83.html#DiazS83}, year = 1983 }