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

• 2000
• 
  Roberto M. Amadio, Sanjiva Prasad:
  Modelling IP Mobility. Formal Methods Syst. Des. 17(1): 61-99 (2000)
• 
  Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
  Logic Based Abstractions of Real-Time Systems. Formal Methods Syst. Des. 17(3): 201-220 (2000)
• 
  Gérard Berry, Ellen Sentovich:
  An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods Syst. Des. 17(2): 135-161 (2000)
• 
  Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg:
  Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. Formal Methods Syst. Des. 17(2): 163-192 (2000)
• 
  Michael Mendler:
  Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic. Formal Methods Syst. Des. 17(1): 5-37 (2000)
• 
  Jean-François Monin:
  Proving the Correctness of the Standardized Algorithm for ABR Conformance. Formal Methods Syst. Des. 17(3): 221-243 (2000)
• 
  Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton:
  Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods Syst. Des. 17(2): 107-134 (2000)
• 
  Denis Sabatier, Pierre Lartigue:
  The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. Formal Methods Syst. Des. 17(3): 245-272 (2000)
• 
  Farn Wang:
  Parametric Analysis of Computer Systems. Formal Methods Syst. Des. 17(1): 39-60 (2000)
• 
  Jeannette M. Wing, Jim Woodcock:
  Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods Syst. Des. 17(3): 199-200 (2000)