Computer-aided verification of coordinating processes
Subtitle: the automata-theoretic approach
By: Robert P. Kurshan.
Series: Princeton series in computer science
Publisher: Princeton University Press
Published: 1994
Place of publication: Princeton
Language: eng
Number of pages: 270