kim g larsen

Formal Methods for Industrial Critical Systems

The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submis...

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

This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical Uni...

Verification, Model Checking, and Abstract Interpretation

This book constitutes the refereed proceedings of the 16th International Conference on Verificati...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the Third International Symposium on Dependable Software...

Reachability Problems

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability...

CONCUR 2001 - Concurrency Theory

This book constitutes the refereed proceedings of the 12th International Conference on Concurrenc...

Computer Aided Verification

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...

Formal Modeling and Analysis of Timed Systems

Sido minut: Eroottisia novelleja salaisista tuhmuuksista

'Hyväilin huuliani etusormella ja ajattelin Lisan punaista suuta, joka juuri sillä hetkellä koske...

Tools and Algorithms for the Construction and Analysis of Systems

This book presents 12 revised refereed papers selected as the best from 32 submissions for the Fi...

Formal Modeling and Analysis of Timed Systems

This book constitutes the thoroughly refereed post-proceedings of the First International Work...

CONCUR 2001 - Concurrency Theory

This book constitutes the refereed proceedings of the 12th International Conference on Concurrenc...