• 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 12 matches

• 1992
• 
  Henrik Reif Andersen, Glynn Winskel:
  Compositional Checking of Satsfaction. Formal Methods Syst. Des. 1(4): 323-354 (1992)
• 
  Zhou Chaochen, C. A. R. Hoare:
  A Model for Synchronous Switching Circuits and its Theory of Correctness. Formal Methods Syst. Des. 1(1): 7-28 (1992)
• 
  Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis:
  Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods Syst. Des. 1(2/3): 275-288 (1992)
• 
  Costas Courcoubetis, Mihalis Yannakakis:
  Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods Syst. Des. 1(4): 385-415 (1992)
• 
  David L. Dill, Steven M. Nowick, Robert F. Sproull:
  Specification and Automatic Verification of Self-Timed Queues. Formal Methods Syst. Des. 1(1): 29-60 (1992)
• 
  Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron:
  On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. 1(2/3): 251-273 (1992)
• 
  Aarti Gupta:
  Formal Hardware Verification Methods: A Survey. Formal Methods Syst. Des. 1(2/3): 151-238 (1992)
• 
  Jawahar Jain, Jacob A. Abraham, James R. Bitner, Donald S. Fussell:
  Probabilistic Verification of Boolean Functions. Formal Methods Syst. Des. 1(1): 61-115 (1992)
• 
  Paul Loewenstein:
  Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. Formal Methods Syst. Des. 1(4): 355-383 (1992)
• 
  Alain J. Martin:
  Asynchronous Datapaths and the Design of an Asynchronous Adder. Formal Methods Syst. Des. 1(1): 117-137 (1992)
• 
  Valérie Roy, Robert de Simone:
  Auto/Autograph. Formal Methods Syst. Des. 1(2/3): 239-249 (1992)
• 
  Antti Valmari:
  A Stubborn Attack on State Explosion. Formal Methods Syst. Des. 1(4): 297-322 (1992)