Title:
Compositional verification of concurrent and real-time systems /
Author:
Juan, Eric Y. T.
Contributer:
Tsai, Jeffrey J.-P.
Publisher:
Boston, Mass. [u.a.] :Kluwer Academic Publishers,
Year of publication:
2002
Pages:
XVII, 196 S. :
,
graph. Darst. ;
,
25 cm
Series Statement:
¬The¬ Kluwer International Series in Engineering and Computer Science
ISBN:
1-402-07025-X
Type of Medium:
Book
Language:
Undetermined
Permalink