Formal Methods for Industrial Critical Systems

The 9 regular papers presented in this volume w...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the Th...

Verification, Model Checking, and Abstract Interpretation

This book constitutes the refereed proceedings ...

Reachability Problems

This book constitutes the refereed proceedings ...

Models, Mindsets, Meta: The What, the How, and the Why Not?

This Festschrift volume is published in honor o...

CONCUR 2001 - Concurrency Theory

This book constitutes the refereed proceedings ...

Computer Aided Verification

This volume contains the proceedings of the con...

Formal Modeling and Analysis of Timed Systems

Sido minut: Eroottisia novelleja salaisista tuhmuuksista

'Hyväilin huuliani etusormella ja ajattelin Lis...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the Th...

CONCUR 2001 - Concurrency Theory

This book constitutes the refereed proceedings ...

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 24...