Florence Maraninchi Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:38-53 [Conf]
Rocco De Nicola, Paola Inverardi, Monica Nesi Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:54-67 [Conf]
Pierre Wolper, Vinciane Lovinfosse Verifying Properties of Large Sets of Processes with Network Invariants. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:68-80 [Conf]
Ivan Christoff A Method for Verification of Trace and Test Equivalence. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:81-88 [Conf]
Heiko Krumm Projections of the Reachability Graph and Environment Models. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:89-96 [Conf]
Heikki Tuominen Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:97-104 [Conf]
Han Zuidweg Verification by Abstraction and Bisimulation. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:105-116 [Conf]
André Arnold MEC: A System for Constructing and Analysing Transition Systems. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:117-132 [Conf]
Ze'ev Shtadler, Orna Grumberg Network Grammars, Communication Behaviors and Automatic Verification. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:151-165 [Conf]
Colin Stirling, David Walker CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:166-178 [Conf]
Claude Jard, Thierry Jéron On-Line Model Checking for Finite Linear Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:189-196 [Conf]
David L. Dill Timing Assumptions and Verification of Finite-State Concurrent Systems. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:197-212 [Conf]
Jonathan S. Ostroff Automated Verification of Timed Transition Models. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:247-256 [Conf]
William G. Wood Temporal Logic Case Study. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:257-263 [Conf]
Maria C. Yuang, Aaron Kershenbaum Parallel Protocol Verification: The Two-Phase Algorithm and Complexity Analysis. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:303-316 [Conf]
Alexandre Bronstein, Carolyn L. Talcott Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:317-333 [Conf]
Jerry R. Burch Combining CTL, Trace Theory and Timing Models. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:334-348 [Conf]
