Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990
DBLP:	db/conf/avmfss/avmfss1989.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 31  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Sudhir Aggarwal, Daniel Barbará, Walter Cunto, M. R. Garey. The Complexity of Collapsing Reachability Graphs.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper André Arnold. MEC: A System for Constructing and Analysing Transition Systems.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper Pierre Azéma, François Vernadat, Jean Christophe Lloret. Requirement Analysis for Communication Protocols.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper Howard Barringer, Michael Fisher, Graham Gough. Fair SMG and Linear Time Model Checking.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini. Process Calculi, from Theory to Practice: Verification Tools.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper Alexandre Bronstein, Carolyn L. Talcott. Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper Jerry R. Burch. Combining CTL, Trace Theory and Timing Models.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper Ivan Christoff. A Method for Verification of Trace and Test Equivalence.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper Rance Cleaveland, Matthew Hennessy. Testing Equivalence as a Bisimulation Equivalence.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989
	Conference paper Rance Cleaveland, Joachim Parrow, Bernhard Steffen. The Concurrency Workbench.	Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990	(0)	1989

Show item 1 to 10 of 31  

Your query returned 31 matches in the database.