Verifying Real-Time Joint Action Specifications Using Timed Automata
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Details
Original language | English |
---|---|
Title of host publication | Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China |
Editors | F. Yulin |
Place of Publication | Beijing, China |
Publisher | Publishing House of Electronics Industry, International Federation for Information Processing |
Pages | 516-525 |
Publication status | Published - 2000 |
Publication type | A4 Article in a conference publication |