Publications :: Search

Show venue

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

Conference
Name:	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998
DBLP:	db/conf/compos/compos1997.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 25  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Rajeev Alur, Thomas A. Henzinger, Orna Kupferman. Alternating-Time Temporal Logic.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Albert Benveniste, Paul Le Guernic, Pascal Aubry. Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke. Compositional Reasoning in Model Checking.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Frank S. de Boer, Willem P. de Roever. Compositional Proof Methods for Concurrency: A Semantic Approach.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Sébastien Bornot, Joseph Sifakis, Stavros Tripakis. Modeling Urgency in Timed Systems.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Manfred Broy. Compositional Refinement of Interactive Systems Modelled by Relations.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Chaochen Zhou, Michael R. Hansen. An Adequate First Order Interval Logic.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Mads Dam, Lars-Åke Fredlund, Dilian Gurov. Toward Parametric Verification of Open Distributed Systems.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli. A Compositional Real-Time Semantics of STATEMATE Designs.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997
	Conference paper Bernd Finkbeiner, Zohar Manna, Henny B. Sipma. Deductive Verification of Modular Systems.	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures 1998	(0)	1997

Show item 1 to 10 of 25  

Your query returned 25 matches in the database.