Compositional verification of concurrent and real-time systems

Author(s)

• Juan, Eric Y.T.
• Tsai, Jeffrey J.-P

Bibliographic Information

Compositional verification of concurrent and real-time systems

by Eric Y.T. Juan, Jeffrey J.P. Tsai

（The Kluwer international series in engineering and computer science, SECS 676）

Kluwer Academic Publishers, c2002

Note

Includes bibliographical references and index

Details

• NCID: BA56709253
• ISBN:
  • 140207025X
• LCCN: 2002023653
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: xvii, 196 p.
• Size: 25 cm
• Classification:
  • DC21 : 004/.35
  • LCC : QA76.58 .J83
• Subject Headings:
  • LCSH : Parallel processing (Electronic computers)
  • LCSH : Real-time data processing
  • LCSH : Computer systems--Verification
• Parent Bibliography ID:
  • BA0004729X