%0 Conference Paper %1 conf/ifip/KilisES89 %A Kilis, Danny %A Esterline, Albert C. %A Slagle, James R. %B IFIP Congress %D 1989 %E Ritter, Gerhard X. %I North-Holland/IFIP %K dblp %P 845-850 %T Specification and Verification of Network Protocols Using Executable Temporal Logic. %U http://dblp.uni-trier.de/db/conf/ifip/ifip89.html#KilisES89 %@ 0-444-88015-1

@inproceedings{conf/ifip/KilisES89, added-at = {2019-07-28T00:00:00.000+0200}, author = {Kilis, Danny and Esterline, Albert C. and Slagle, James R.}, biburl = {https://www.bibsonomy.org/bibtex/2f34f218bbd6e21e72dc64ad9fa1ddefa/dblp}, booktitle = {IFIP Congress}, crossref = {conf/ifip/1989}, editor = {Ritter, Gerhard X.}, interhash = {c352a2f40fe6c8c00627a83b5c5192e4}, intrahash = {f34f218bbd6e21e72dc64ad9fa1ddefa}, isbn = {0-444-88015-1}, keywords = {dblp}, pages = {845-850}, publisher = {North-Holland/IFIP}, timestamp = {2024-04-09T12:18:46.000+0200}, title = {Specification and Verification of Network Protocols Using Executable Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip89.html#KilisES89}, year = 1989 }