5th TACAS 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)

Refine list

showing all ?? records

Invited Contribution

Real-Time

Case Studies

Compositionality and Abstraction

Symbolic Analysis

Process Algebra

Frameworks for System Construction and Analysis

Tool Descriptions

a service of  Schloss Dagstuhl - Leibniz Center for Informatics