Publications :: Search

Show venue

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

Conference
Name:	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989
DBLP:	db/conf/tls/tls1987.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 18  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Behnam Banieqbal, Howard Barringer. Temporal Logic with Fixed Points.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Chaochen Zhou. Specifying Communicating Systems with Temporal Logic.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Edmund M. Clarke, Orna Grumberg. The Model Checking Problem for Concurrent Systems with Many Similar Processes.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Dov M. Gabbay. The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Susanne Graf, Joseph Sifakis. An Expressive Logic for a Process Algebra with Silent Actions.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Roger Hale. Using Temporal Logic for Prototyping: The Design of a Lift Controller.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Bernhard Josko. MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Shmuel Katz, Doron Peled. Interleaving Set Temporal Logic.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Samit Khosla, T. S. E. Maibaum. The Prescription and Description of State Based Systems.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987
	Conference paper Ron Koymans. Specifying Message Passing Systems Requires Extending Temporal Logic.	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings 1989	(0)	1987

Show item 1 to 10 of 18  

Your query returned 18 matches in the database.