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.

Description
Physical Description:	xii, 270 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages 241-262) and index.
ISBN:	0691034362