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

Standard

Verifying Real-Time Joint Action Specifications Using Timed Automata. / Aaltonen, T.; Katara, M.; Pitkänen, R.

Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. ed. / F. Yulin. Beijing, China : Publishing House of Electronics Industry, International Federation for Information Processing, 2000. p. 516-525.

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

Harvard

Aaltonen, T, Katara, M & Pitkänen, R 2000, Verifying Real-Time Joint Action Specifications Using Timed Automata. in F Yulin (ed.), Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. Publishing House of Electronics Industry, International Federation for Information Processing, Beijing, China, pp. 516-525.

APA

Aaltonen, T., Katara, M., & Pitkänen, R. (2000). Verifying Real-Time Joint Action Specifications Using Timed Automata. In F. Yulin (Ed.), Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China (pp. 516-525). Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing.

Vancouver

Aaltonen T, Katara M, Pitkänen R. Verifying Real-Time Joint Action Specifications Using Timed Automata. In Yulin F, editor, Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing. 2000. p. 516-525

Author

Aaltonen, T. ; Katara, M. ; Pitkänen, R. / Verifying Real-Time Joint Action Specifications Using Timed Automata. Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. editor / F. Yulin. Beijing, China : Publishing House of Electronics Industry, International Federation for Information Processing, 2000. pp. 516-525

Bibtex - Download

@inproceedings{2022f70a32754c29a85e3df300e88e9e,
title = "Verifying Real-Time Joint Action Specifications Using Timed Automata",
author = "T. Aaltonen and M. Katara and R. Pitk{\"a}nen",
note = "ISBN 3-901882-04-9<br/>Contribution: organisation=ohj,FACT1=1",
year = "2000",
language = "English",
pages = "516--525",
editor = "F. Yulin",
booktitle = "Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China",
publisher = "Publishing House of Electronics Industry, International Federation for Information Processing",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Verifying Real-Time Joint Action Specifications Using Timed Automata

AU - Aaltonen, T.

AU - Katara, M.

AU - Pitkänen, R.

N1 - ISBN 3-901882-04-9<br/>Contribution: organisation=ohj,FACT1=1

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 516

EP - 525

BT - Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China

A2 - Yulin, F.

PB - Publishing House of Electronics Industry, International Federation for Information Processing

CY - Beijing, China

ER -