Verifying Real-Time Joint Action Specifications Using Timed Automata
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Details
| Translated title of the contribution | Verifying Real-Time Joint Action Specifications Using Timed Automata |
|---|---|
| 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 |