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

Invited Contribution

Real-Time

Case Studies

Compositionality and Abstraction

Symbolic Analysis

Process Algebra

Frameworks for System Construction and Analysis

Tool Descriptions