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 |