Tampere University of Technology

TUTCRIS Research Portal

Verifying Real-Time Joint Action Specifications Using Timed Automata

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Details

Original languageEnglish
Title of host publicationProceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China
EditorsF. Yulin
Place of PublicationBeijing, China
PublisherPublishing House of Electronics Industry, International Federation for Information Processing
Pages516-525
Publication statusPublished - 2000
Publication typeA4 Article in a conference publication

Publication forum classification