che-chandler.de

Principles of Model Checking

A comprehensive introduction to the foundations of model checking, a fully automated technique fo...

SOFSEM 2017: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...

Validation of Stochastic Systems

CONCUR 2006 - Concurrency Theory

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (...

Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 21st International Conference on Foundations of Soft...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 38th IFIP WG 6.1International Conference on Formal...

SOFSEM 2017: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...

Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 21st International Conference on Foundations of Soft...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 38th IFIP WG 6.1International Conference on For...

Principles of Model Checking

A comprehensive introduction to the foundations of model checking, a fully automated technique...

CONCUR 2006 - Concurrency Theory

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (...