Specification and Verification of Concurrent Systems
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 624
ISBN-13: 9781447135357