List of Books in Keyword #ModelChecking

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

Published on: 2004

Unordered Software Engineering English

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK …

Concurrency DistributedSystems FormalVerification ProcessAlgebra ModelChecking

Page of