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

• 1998
• 
  Stuart Anderson, Konstantinos Tourlas:
  Design for Proof: An Approach to the Design of Domain-Specific Languages. Formal Aspects Comput. 10(5-6): 452-468 (1998)
• 
  Marco Bernardo, Roberto Gorrieri, Marco Roccetti:
  Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. Formal Aspects Comput. 10(4): 313-337 (1998)
• 
  Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm:
  Investigating the Integration of two Formal Methods. Formal Aspects Comput. 10(5-6): 532-549 (1998)
• 
  Arne Borälv:
  Case Study: Formal Verification of a Computerized Railway Interlocking. Formal Aspects Comput. 10(4): 338-360 (1998)
• 
  Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
  Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. 10(5-6): 550-575 (1998)
• 
  David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh:
  A Program Refinement Tool. Formal Aspects Comput. 10(2): 97-124 (1998)
• 
  Ana Cavalcanti, Jim Woodcock:
  ZRC - A Refinement Calculus for Z. Formal Aspects Comput. 10(3): 267-289 (1998)
• 
  Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso:
  Formal Verification of a Railway Interlocking System using Model Checking. Formal Aspects Comput. 10(4): 361-380 (1998)
• 
  Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper:
  Partial-order Reduction Techniques for Real-time Model Checking. Formal Aspects Comput. 10(5-6): 469-482 (1998)
• 
  John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
  Specifying and Refining Internal Operations in Z. Formal Aspects Comput. 10(2): 125-159 (1998)
• 
  Jürgen Dingel, David Garlan, Somesh Jha, David Notkin:
  Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects Comput. 10(3): 193-213 (1998)
• 
  Giorgio P. Faconti, Mieke Massink:
  Modelling and Verification of PREMO Synchronisable Objects. Formal Aspects Comput. 10(4): 405-434 (1998)
• 
  Marie-Claude Gaudel, Perry R. James:
  Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Aspects Comput. 10(5-6): 436-451 (1998)
• 
  Stefania Gnesi, Diego Latella:
  Editorial. Formal Aspects Comput. 10(4): 311-312 (1998)
• 
  Jan Friso Groote, Bas Luttik, Jos van Wamel:
  Editorial. Formal Aspects Comput. 10(5-6): 435 (1998)
• 
  Philippe de Groote, Guy Perrier:
  A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic". Formal Aspects Comput. 10(2): 160-170 (1998)
• 
  Ian J. Hayes:
  Expressive Power of Specification Languages. Formal Aspects Comput. 10(2): 187-192 (1998)
• 
  Eric C. R. Hehner:
  Formalization of Time and Space. Formal Aspects Comput. 10(3): 290-306 (1998)
• 
  Martin C. Henson:
  The Standard Logic of Z is Inconsistent. Formal Aspects Comput. 10(3): 243-247 (1998)
• 
  Jan E. Jonker:
  Knaster-Tarski Revisited. Formal Aspects Comput. 10(3): 214-232 (1998)
• 
  Henri Korver, M. P. A. Sellink:
  A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. Formal Aspects Comput. 10(1): 30-42 (1998)
• 
  Henri Korver, M. P. A. Sellink:
  Example Verifications Using Alphabet Axioms. Formal Aspects Comput. 10(1): 43-58 (1998)
• 
  Gary T. Leavens, Jeannette M. Wing:
  Protective Interface Specifications. Formal Aspects Comput. 10(1): 59-75 (1998)
• 
  Luc Léonard, Guy Leduc:
  A Formal Definition of Time in LOTOS. Formal Aspects Comput. 10(3): 248-266 (1998)
• 
  Joseph M. Morris, Alexander Bunkenburg:
  Partiality and Nondeterminacy in Program Proofs. Formal Aspects Comput. 10(1): 76-96 (1998)
• 
  Tobias Nipkow:
  Winskel is (almost) Right: Towards a Mechanized Semantics. Formal Aspects Comput. 10(2): 171-186 (1998)
• 
  Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche:
  The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. Formal Aspects Comput. 10(4): 381-404 (1998)
• 
  Richard F. Paige:
  Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects Comput. 10(3): 233-242 (1998)
• 
  Ingrid Rewitzky, Chris Brink:
  Unification of Four Versions of Program Semantics. Formal Aspects Comput. 10(1): 1-29 (1998)
• 
  Carron Shankland, Mark van der Zwaag:
  The Tree Identify Protocol of IEEE 1394 in µCRL. Formal Aspects Comput. 10(5-6): 509-531 (1998)

skipping 1 more match