default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/pstv/pstv1982.bht:"
download as .bib file
@inproceedings{DBLP:conf/pstv/Ansart82,
author = {Jean{-}Pierre Ansart},
editor = {Carl A. Sunshine},
title = {{GENEPI/A-A} Protocol Independent System for Testing Protocol Implementation},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {523--528},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 16:10:28 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Ansart82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/AnsartD82,
author = {Jean{-}Pierre Ansart and
J. Damidau},
editor = {Carl A. Sunshine},
title = {CERBERE, {A} Tool to Keep an Eye on High Level Protocols},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {529--537},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/AnsartD82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/AnsartRC82,
author = {Jean{-}Pierre Ansart and
Omar Rafiq and
V. Chari},
editor = {Carl A. Sunshine},
title = {PDIL-Protocol Description and Implementation Language},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {101--112},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/AnsartRC82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Bauerfeld82,
author = {Wulf L. Bauerfeld},
editor = {Carl A. Sunshine},
title = {A Hybrid Model for Protocols and Services: Verification and Simulation
by a Modified Depth-First Search Algorithm},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {451--464},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Bauerfeld82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BerthelotT82,
author = {G{\'{e}}rard Berthelot and
Richard Terrat},
editor = {Carl A. Sunshine},
title = {Petri Nets Theory for the Correctness of Protocols},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {325--342},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BerthelotT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Billington82,
author = {Jonathan Billington},
editor = {Carl A. Sunshine},
title = {Specification of the Transport Service Using Numerical Petri Nets},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {77--100},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Billington82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BlumerB82,
author = {Thomas P. Blumer and
John C. Burruss},
editor = {Carl A. Sunshine},
title = {Generating a Service Specification of a Connection Management Protocol},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {161--170},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BlumerB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BochmannCGJLLMRS82,
author = {Gregor von Bochmann and
Eduard Cerny and
Michel Gagn{\'{e}} and
Claude Jard and
Alain L{\'{e}}veill{\'{e}} and
Clement Lacaille and
Michel Maksud and
K. S. Raghunathan and
Beh{\c{c}}et Sarikaya},
editor = {Carl A. Sunshine},
title = {Some Experience with the Use of Formal Specifications},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {171--185},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pstv/BochmannCGJLLMRS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Dalal82,
author = {Yogen K. Dalal},
editor = {Carl A. Sunshine},
title = {Service Specifications for Recursively-Defined Protocols},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {305--308},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Dalal82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/DiVito82,
author = {Benedetto L. DiVito},
editor = {Carl A. Sunshine},
title = {Integrated Methods for Protocol Specification and Verification},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {411--433},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/DiVito82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Diaz82,
author = {Michel Diaz},
editor = {Carl A. Sunshine},
title = {Modelling and Analysis of Communication and Cooperation Protocols
Using Petri Net Based Models},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {465--510},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Diaz82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GoudaJ82,
author = {Mohamed G. Gouda and
Bijendra N. Jain},
editor = {Carl A. Sunshine},
title = {Necessary and Sufficient Conditions to Detect Message Duplication
in Protocol Hierarchies},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {317},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GoudaJ82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GustavssonPP82,
author = {Rune Gustavsson and
Joachim Parrow and
Bj{\"{o}}rn Pehrson},
editor = {Carl A. Sunshine},
title = {An Integrated Approach to Protocol Design Research},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {309--310},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GustavssonPP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Holzmann82,
author = {Gerard J. Holzmann},
editor = {Carl A. Sunshine},
title = {Algebraic Validation Methods-A Comparison of Three Techniques},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {383--390},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Holzmann82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Jones82,
author = {Gary Jones},
editor = {Carl A. Sunshine},
title = {The Total Correctness of Communication Protocols},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {391--400},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Jones82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/KujansuuOT82,
author = {Raimo Kujansuu and
Leo Ojala and
Heikki Tuominen},
editor = {Carl A. Sunshine},
title = {The Development of Tools for Verification and Validation of Communication
Protocols},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {311--313},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/KujansuuOT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Kurose82,
author = {James F. Kurose},
editor = {Carl A. Sunshine},
title = {The Specification and Verification of a Connection Establishment Protocol
Using Temporal Logic},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {43--62},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Kurose82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/LamS82,
author = {Simon S. Lam and
A. Udaya Shankar},
editor = {Carl A. Sunshine},
title = {An Illustration of Protocol Projections},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {343--360},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/LamS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/LogrippoP82,
author = {Luigi Logrippo and
Robert L. Probert},
editor = {Carl A. Sunshine},
title = {Protocol/Specification-Level Validation},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {303--304},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/LogrippoP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/MoliPA82,
author = {Gesualdo Le Moli and
Sergio Palazzo and
Gaetano Andreoni},
editor = {Carl A. Sunshine},
title = {A Model of Entity for the Definition of Protocols, Services, and Interfaces},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {249--258},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/MoliPA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Nightingale82,
author = {J. Stephen Nightingale},
editor = {Carl A. Sunshine},
title = {Protocol Testing Using {A} Reference Implementation},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {513--522},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Nightingale82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/OvermanC82,
author = {William T. Overman and
Stephen D. Crocker},
editor = {Carl A. Sunshine},
title = {Verification of Concurrent Systems: Function and Timing},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {401--409},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/OvermanC82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/PiatkowskiIH82,
author = {Thomas F. Piatkowski and
Lap{-}Kin Ip and
Dayun He},
editor = {Carl A. Sunshine},
title = {State Architecture Notation and Simulation: {A} Formal Technique for
the Specification and Testing of Protocol Systems},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {135--160},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/PiatkowskiIH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Prinoth82,
author = {Rainer Prinoth},
editor = {Carl A. Sunshine},
title = {An Algorithm to Construct Distributed Systems from State-Machines},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {261--282},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Prinoth82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Rayner82,
author = {David Rayner},
editor = {Carl A. Sunshine},
title = {A System for Testing Protocol Implementations},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {539--554},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Rayner82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Razouk82,
author = {Rami R. Razouk},
editor = {Carl A. Sunshine},
title = {Modeling {X.25} Using the Graph Model of Behavior},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {197--214},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Razouk82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Reghbati82,
author = {Hassan K. Reghbati},
editor = {Carl A. Sunshine},
title = {Performance Analysis of Message-Based Systems},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {321--324},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Reghbati82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/SabnaniS82,
author = {Krishan K. Sabnani and
Mischa Schwartz},
editor = {Carl A. Sunshine},
title = {Verification of a Multidestination Protocol Using Temporal Logic},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {21--41},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/SabnaniS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/SarikayaB82,
author = {Beh{\c{c}}et Sarikaya and
Gregor von Bochmann},
editor = {Carl A. Sunshine},
title = {Some Experience with Test Sequence Generation for Protocols},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {555--567},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/SarikayaB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/SchwartzM82,
author = {Richard L. Schwartz and
P. M. Melliar{-}Smith},
editor = {Carl A. Sunshine},
title = {From State Machines to Temporal Logic: Specification Methods for Protocol
Standards},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {3--19},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/SchwartzM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/ShankarL82,
author = {A. Udaya Shankar and
Simon S. Lam},
editor = {Carl A. Sunshine},
title = {On Time-Dependent Communication Protocols and Their Projections},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {215--235},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/ShankarL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Sidhu82,
author = {Deepinder P. Sidhu},
editor = {Carl A. Sunshine},
title = {Protocol Design Rules},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {283--300},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Sidhu82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/SimonK82,
author = {Gerald A. Simon and
David J. Kaufman},
editor = {Carl A. Sunshine},
title = {An Extended Finite State Machine Approach to Protocol Specification},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {113--133},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/SimonK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Sunshine82,
author = {Carl A. Sunshine},
editor = {Carl A. Sunshine},
title = {Experience with Four Automated Verification Systems},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {373--379},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Sunshine82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Vogt82,
author = {Friedrich H. Vogt},
editor = {Carl A. Sunshine},
title = {Event-Based Temporal Logic Specifications of Services and Protocols},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {63--73},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Vogt82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Watson82,
author = {Richard W. Watson},
editor = {Carl A. Sunshine},
title = {An Experience in Transport Protocol Specification Using an Algorithmic
Programming Language},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {237--247},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Watson82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/West82,
author = {Colin H. West},
editor = {Carl A. Sunshine},
title = {Applications and Limitations of Automated Protocol Validation},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {361--371},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/West82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/YelowitzGH82,
author = {Lawrence Yelowitz and
Susan L. Gerhart and
G. Hilborn},
editor = {Carl A. Sunshine},
title = {Modeling a Network Protocol in {AFFIRM} and Ada},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {435--450},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/YelowitzGH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/YeminiK82,
author = {Yechiam Yemini and
James F. Kurose},
editor = {Carl A. Sunshine},
title = {Towards the Unification of the Functional and Performance Analysis
of Protocols, or is the Alternating-Bit Protocol Really Correct?},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {189--196},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/YeminiK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/YuG82,
author = {Yao{-}Tin Yu and
Mohamed G. Gouda},
editor = {Carl A. Sunshine},
title = {Deadlock Detection for a Class of Communicating Finite State Machine},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {319},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/YuG82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pstv/1982,
editor = {Carl A. Sunshine},
title = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
publisher = {North-Holland},
year = {1982},
isbn = {0-444-86481-4},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/1982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-02-26 15:06 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
