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