Computer-aided Verification of Coordinating Processes : The Automata-theoretic Approach
ISBN: 9781400864041
Information Available:
Summary
Author Notes
Excerpt
Cover Image
Copyright held by Baker & Taylor.