Computer-aided verification of coordinating processes : the automata-theoretic approach
Kurshan, Robert P.
Computer-aided verification of coordinating processes : the automata-theoretic approach - - Princeton : Princeton University Press, 1994 1994 - xii,270 p. 24 cm - .
0-691-03436-27
Manufacturing processes-Planning-Data processing
Computational complexity
System design
Expert systems (Computer science)-Verification
621-52:681.342 Kur
Computer-aided verification of coordinating processes : the automata-theoretic approach - - Princeton : Princeton University Press, 1994 1994 - xii,270 p. 24 cm - .
0-691-03436-27
Manufacturing processes-Planning-Data processing
Computational complexity
System design
Expert systems (Computer science)-Verification
621-52:681.342 Kur