Compositional verification of concurrent and real-time systems
By: by Eric Y.T. Juan, Jeffrey J.P. Tsai.
Contributors: Tsai, Jeffrey J.-P.
Series: The Kluwer international series in engineering and computer science -- SECS 676
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Boston
Language: eng
Number of pages: 196
Subjects: Parallel processing (Electronic computers); Real-time data processing.; Computer systems -- Verification.
Notes: Includes bibliographical references (p. [187]-193) and index.