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

Bibliographic Details
Main Author:	Kurshan, R. P., 1943-
Format:	Book
Language:	English
Published:	Princeton, N.J. : Princeton University Press, [1994]
Series:	Princeton series in computer science.
Subjects:	Manufacturing processes > Planning > Data processing. Computational complexity. Expert systems (Computer science) > Verification. System design.

Remote Storage