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

Robert P. Kurshan
Bok · Engelsk · 1994

Utgitt	Princeton, N.J. : Princeton University Press , c1994
Omfang	XII, 270 s.
Emner	Computational complexity Expert systems (Computer science) - Verification Manufacturing processes - Planning Data processing System design
ISBN	0691034362