Computer-aided verification of coordinating processes : the automata-theoretic approach

Bok av Robert P. Kurshan