Kurshan, R. P.
Computer-aided verification of coordinating processes: The automata-theoretic approach - Princeton; New Jersey Princeton University Press 1994 - xii, 270p. - Princeton series in computer science .
0-691-03436-2
Computer-aided verification of coordinating processes: The automata-theoretic approach - Princeton; New Jersey Princeton University Press 1994 - xii, 270p. - Princeton series in computer science .
0-691-03436-2