• 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

• 1997
• 
  Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe:
  Visual Verification of Reactive Systems. TACAS 1997: 334-350
• 
  Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
  Partial Model Checking with ROBDDs. TACAS 1997: 35-49
• 
  Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen:
  Graphs in METAFrame: The Unifying Power of Polymorphism. TACAS 1997: 112-129
• 
  Hanêne Ben-Abdallah, Stefan Leue:
  Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. TACAS 1997: 259-274
• 
  Gérard Berry:
  Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. TACAS 1997: 1-3
• 
  Bernard Boigelot, Patrice Godefroid:
  Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. TACAS 1997: 321-333
• 
  Richard J. Boulton:
  A Tool to Support Formal Reasoning about Computer Languages. TACAS 1997: 81-95
• 
  Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen:
  Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997: 209-223
• 
  Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans:
  The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431
• 
  Rolf Drechsler, Bernd Becker, Stefan Ruppertz:
  Manipulation Algorithms for K*BMDs. TACAS 1997: 4-18
• 
  Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas:
  The Term Processor Generator Kimwitu. TACAS 1997: 96-111
• 
  E. Allen Emerson, Somesh Jha, Doron A. Peled:
  Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34
• 
  André Engels, Loe M. G. Feijs, Sjouke Mauw:
  Test Generation for Intelligent Networks Using Model Checking. TACAS 1997: 384-398
• 
  Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
  An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
• 
  Bernd Grahlmann:
  The Reference Component of PEP. TACAS 1997: 65-80
• 
  Kurt Jensen:
  A Brief Introduction to Coloured Petri Nets. TACAS 1997: 203-208
• 
  Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger:
  MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: 183-202
• 
  Stephan Kleuker:
  Incremental Development of Deadlock-Free Communicating Systems. TACAS 1997: 306-320
• 
  Jean-Pierre Krimm, Laurent Mounier:
  Compositional State Space Generation from Lotos Programs. TACAS 1997: 239-258
• 
  Sam Owre, John M. Rushby, Natarajan Shankar:
  Integration in PVS: Tables, Types, and Model Checking. TACAS 1997: 366-383
• 
  Atanas N. Parashkevov, Jay Yantchev:
  Space Efficient Reachability Analysis Through Use of Pseudo-Root States. TACAS 1997: 50-64
• 
  Wojciech Penczek:
  Model-Checking for a Subclass of Event Structures. TACAS 1997: 145-164
• 
  Jan Philipps, Peter Scholz:
  Formal Verification of Statecharts with Instantaneous Chain Reaction. TACAS 1997: 224-238
• 
  I. S. W. B. Prasetya:
  Mechanically Verified Self-Stabilizing Hierarchical Algorithms. TACAS 1997: 399-415
• 
  Jean-François Raskin, Pierre-Yves Schobbens:
  Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. TACAS 1997: 165-182
• 
  Robert Sandner, Olaf Müller:
  Theorem Prover Support for the Refinement of Stream Processing Functions. TACAS 1997: 351-365
• 
  Peter H. Schmitt, Jean Goubault-Larrecq:
  A Tableau System for Linear-TIME Temporal Logic. TACAS 1997: 130-144
• 
  Chris M. N. Tofts:
  Compositional Performance Analysis. TACAS 1997: 290-305
• 
  Ed Brinksma:
  Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Lecture Notes in Computer Science 1217, Springer 1997, ISBN 3-540-62790-1 [contents]