Kurshan <br/><br/>
Computer-Aided Verification Of Coordinating Processes: The Automata-Theoretic Approach  / 
Kurshan 
 -  Princeton University Press ,  2019 
<br/><br/><label>ISBN: </label>9780691634890 
<br/><br/><label>Dewey Class. No.: </label>4.019  / KUR