Verifying Real-Time Joint Action Specifications Using Timed Automata
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China |
| Toimittajat | F. Yulin |
| Julkaisupaikka | Beijing, China |
| Kustantaja | Publishing House of Electronics Industry, International Federation for Information Processing |
| Sivut | 516-525 |
| Tila | Julkaistu - 2000 |
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |