Computer-Aided Verification of Coordinating Processes
Subtitle: The Automata-Theoretic Approach
Publisher: Princeton University Press
Published: 2014
Language: eng
Number of pages: 284
ISBN-13: 9781306984515
Subjects: Manufacturing processes, data processing; Computational complexity; Expert systems (computer science); System design