List of Books in Keyword #FormalMethods

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

Published on: 2004

Unordered Computer Science and Theory English

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

Concurrency DistributedSystems Algorithms Verification FormalMethods

Page of