• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 29 matches

• 1990
• 
  Ed Brinksma, Giuseppe Scollo, Chris A. Vissers:
  Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. North-Holland 1990, ISBN 0-444-88343-6 [contents]
• 1989
• 
  Gregor von Bochmann, Michel Deslauriers:
  Combining ASN1 Support with the LOTOS Language. PSTV 1989: 175-186
• 
  R. Isaac Chan, Brian R. Smith, Gerald W. Neufeld, Samuel T. Chanson, W. B. Davis, Son T. Vuong, H. L. See, S. Chan:
  A Software Environment for OSI Protocol Testing Systems. PSTV 1989: 303-314
• 
  Wendy Y. L. Chan, Son T. Vuong, Mabo Robert Ito:
  On Test Sequence Generation for Protocols. PSTV 1989: 119-130
• 
  Samuel T. Chanson, B. P. Lee, N. J. Parakh, Hua-Xin Zeng:
  Design and Implementation of a Ferry Clip Test System. PSTV 1989: 101-118
• 
  Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
  A Semantics Based Verification Tool for Finite State Systems. PSTV 1989: 287-302
• 
  Dragomir D. Dimitrijevic, Mon-Song Chen:
  Dynamic State Exploration in Quantitative Protocol Analysis. PSTV 1989: 327-338
• 
  Peter van Eijk:
  LOTOS Tools Based on the Cornell Synthesizer Generator. PSTV 1989: 275-286
• 
  Mohammed Faci, Luigi Logrippo, Bernard Stepien:
  Formal Specifications of Telephone Systems in LOTOS. PSTV 1989: 25-34
• 
  Pawel Gburzynski, Piotr Rudnicki:
  On Executable Specifications, Validation, and Testing of MAC-Level Protocols. PSTV 1989: 261-273
• 
  J. J. van Griethuysen:
  Open Distributed Processing. PSTV 1989: 205-219
• 
  Jan Gustavsson, Harry Rudin:
  Including a Queue in a Formal-Description-Driven Protocol Performance Analysis. PSTV 1989: 247-258
• 
  Ian J. Hayes, M. Mowbray, Gordon A. Rose:
  Signalling System No.7, The Network Layer. PSTV 1989: 3-14
• 
  Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori:
  Automated Verification of Equivalence of Protocol Machines. PSTV 1989: 235-246
• 
  Gerard J. Holzmann, Joanna Patti:
  Validating SDL Specifications: an Experiment. PSTV 1989: 317-326
• 
  Claude Jard, Jean-Marc Jézéquel:
  A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines. PSTV 1989: 161-174
• 
  Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon:
  Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV 1989: 373-386
• 
  Richard Lai, Tharam S. Dillon, Ken R. Parker:
  Verification Results for ISO FTAM Basic Protocol. PSTV 1989: 223-234
• 
  Rom Langerak:
  A Testing Theory for LOTOS using Deadlock Detection. PSTV 1989: 87-98
• 
  Fredrik Orava:
  Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes. PSTV 1989: 357-371
• 
  Marc Phalippou:
  Functional Specification for an ISDN Switching System: an Experience using Estelle. PSTV 1989: 15-24
• 
  Brigitte Pradin-Chezalviel, Michel Diaz:
  Axioms of Communication Using Temporal Logic with Past. PSTV 1989: 387-399
• 
  Willem P. de Roever, Jozef Hooman:
  Design and verification in real-time distributed computing: an introduction to compositional methods. PSTV 1989: 37-56
• 
  Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura:
  Protocol Conformance Testing Using Multiple UIO Sequences. PSTV 1989: 131-143
• 
  Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi:
  A Verification Method for LOTOS Specifications and its Application. PSTV 1989: 59-70
• 
  Terry Stroup, Norbert Götz, Michael Mendler:
  Stepwise Refinement of Layered Protocols by Formal Program Development. PSTV 1989: 71-85
• 
  Clazien D. Wezeman:
  The CO-OP Method for Compositional Derivation of Conformance Testers. PSTV 1989: 145-158
• 
  Dietmar Wolz, Paul Boehm:
  Compilation of LOTOS Data Type Specifications. PSTV 1989: 187-202
• 
  Maria C. Yuang, Aaron Kershenbaum:
  Parallel Protocol Verification: The Two-Phase Algorithm. PSTV 1989: 339-353