Compositional Verification of Concurrent and Real-Time Systems
Publisher: Springer
Published: Sep 23, 2011
Format: paperback
Number of pages: 220
ISBN-13: 9781461510109