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:

Similar Items