Publications
Search

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.