Research Catalog
Compositional verification of concurrent and real-time systems
- Title
- Compositional verification of concurrent and real-time systems / by Eric Y.T. Juan, Jeffrey J.P. Tsai.
- Author
- Juan, Eric Y. T.
- Publication
- Boston : Kluwer Academic Publishers, c2002.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 02-1177 | Offsite |
Details
- Additional Authors
- Tsai, Jeffrey J.-P.
- Description
- xvii, 196 p. : ill.; 25 cm.
- Series Statement
- The Kluwer international series in engineering and computer science ; SECS 676
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [187]-193) and index.
- Call Number
- JSE 02-1177
- ISBN
- 140207025X (alk. paper)
- LCCN
- 2002023653
- OCLC
- 49226201
- Author
- Juan, Eric Y. T.
- Title
- Compositional verification of concurrent and real-time systems / by Eric Y.T. Juan, Jeffrey J.P. Tsai.
- Imprint
- Boston : Kluwer Academic Publishers, c2002.
- Series
- The Kluwer international series in engineering and computer science ; SECS 676
- Bibliography
- Includes bibliographical references (p. [187]-193) and index.
- Added Author
- Tsai, Jeffrey J.-P.
- Research Call Number
- JSE 02-1177