Search dblp for Publications

export results for "toc:db/conf/pstv/pstv1992.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pstv/AlaettinogluS92,
  author       = {Cengiz Alaettinoglu and
                  A. Udaya Shankar},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Stepwise Assertional Design of Distance-Vector Routing Algorithms},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {399--413},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/AlaettinogluS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/BarS92,
  author       = {Udo B{\"{a}}r and
                  J{\"{u}}rgen M. Schneider},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Automated Validation of {TTCN} Test Suites},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {279--295},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/BarS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/BurgtKP92,
  author       = {Stan P. van de Burgt and
                  Jan Kroon and
                  A. M. Peeters},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Testability of Formal Specifications},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {63--77},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Tue, 07 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/BurgtKP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Calvert92,
  author       = {Kenneth L. Calvert},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Module Composition and Refinement with Applications to Protocol Conversion},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {383--397},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Calvert92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/CelikkanC92,
  author       = {Ufuk Celikkan and
                  Rance Cleaveland},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Computing Diagnostic Test for Incorrect Processes},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {263--277},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/CelikkanC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/ChunA92,
  author       = {Woojik Chun and
                  Paul D. Amer},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Improvements on {UIO} Sequence Generation and Partial {UIO} Sequences},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {245--260},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/ChunA92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/DendorferW92,
  author       = {Claus Dendorfer and
                  Rainer Weber},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {From Service Specification to Protocol Entity Impelmentation - An
                  Exercise in Formal Protocol Development},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {163--177},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/DendorferW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/EllsbergerK92,
  author       = {Jan Ellsberger and
                  Finn Kristoffersen},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Testability in the Context of {SDL}},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {319--333},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/EllsbergerK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/FavreauHK92,
  author       = {Jean Philippe Favreau and
                  Dieter Hogrefe and
                  Jan Kroon},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Formal Methods in Conformance Testing: Status and Expectations},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {299--316},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/FavreauHK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/FernandezMVQ92,
  author       = {Angel Fern{\'{a}}ndez and
                  Carlos Miguel and
                  Leon Vidaller and
                  Juan Quemada},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Development of Satellite Communication Networks Based on {LOTOS}},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {179--192},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/FernandezMVQ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Fraser92,
  author       = {Alexander G. Fraser},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Formal Methods Applied to Software Production},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {3--9},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/Fraser92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Gouda92,
  author       = {Mohamed G. Gouda},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {The Two-Dimensional Window Protocol},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {365--379},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Gouda92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/HolzmannGP92,
  author       = {Gerard J. Holzmann and
                  Patrice Godefroid and
                  Didier Pirottin},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Coverage Preserving Reduction Strategies for Reachability Analysis},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {349--363},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/HolzmannGP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Kwast92,
  author       = {Erik Kwast},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Automatic Test Generation for Protocol Data Aspects},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {211--226},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Kwast92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/LundyM92,
  author       = {Gilbert M. Lundy and
                  R. C. McArthur},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Formal Model of a High Speed Transport Procotol},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {97--111},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/LundyM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/MillerP92,
  author       = {Raymond E. Miller and
                  Sanjoy Paul},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Generating Conformance Test Sequences for Combined Control and Data
                  Flow of Communication Protocols},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {13--27},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/MillerP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/PetrenkoY92,
  author       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Test Suite Generation from a {FSM} with a Given Type of Implementation
                  Errors},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {229--243},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/PetrenkoY92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/QuemadaA92,
  author       = {Juan Quemada and
                  Arturo Azcorra},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Structuring Protocols Using Exceptions in a {LOTOS} Extension},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {81--96},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/QuemadaA92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Rudin92,
  author       = {Harry Rudin},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Protocol Development Success Stories: Part 1},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {149--160},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Rudin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/SekarLN92,
  author       = {R. C. Sekar and
                  Yow{-}Jian Lin and
                  Sanjai Narain},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {On Modelling and Reasoning About Hybrid Systems},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {115--129},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/SekarLN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/TretmansV92,
  author       = {Jan Tretmans and
                  Louis Verhaard},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {A Queue Model Relating Synchronous and Asynchronous Communication},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {131--145},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/TretmansV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/VelthuysSZ92,
  author       = {Roelof Jan Velthuys and
                  J{\"{u}}rgen M. Schneider and
                  Georg Z{\"{o}}rntlein},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {A Test Derivation Method Based on Exploiting Structure Information},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {195--209},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/VelthuysSZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/WalterEKM92,
  author       = {Thomas Walter and
                  Jan Ellsberger and
                  Finn Kristoffersen and
                  Paul van den Merkhof},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {A Common Semantics Representation for {SDL} and {TTCN}},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {335--346},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/WalterEKM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/WangL92,
  author       = {Chang{-}Jia Wang and
                  Ming T. Liu},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {A Test Suite Generation Method for Extended Finite State Machines
                  Using Axiomatic Semantics Approach},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {29--43},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/WangL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/YiL92,
  author       = {Wang Yi and
                  Kim Guldstrand Larsen},
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Testing Probabilistic and Nondeterministic Processes},
  booktitle    = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  pages        = {47--61},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Fri, 07 Dec 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/YiL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pstv/1992,
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  publisher    = {North-Holland},
  year         = {1992},
  isbn         = {0-444-89874-3},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.