Tampere University of Technology

TUTCRIS Research Portal

External Behaviour of Systems of State Machines with Variables

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

Standard

External Behaviour of Systems of State Machines with Variables. / Valmari, Antti.

The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. ed. / Kurt Jensen; Wil M. P. van der Aalst; Gianfranco Balbo; Maciej Koutny; Karsten Wolf. Berlin, Heidelberg : Springer, 2013. p. 255-299 (Lecture Notes in Computer Science; Vol. 7480).

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

Harvard

Valmari, A 2013, External Behaviour of Systems of State Machines with Variables. in K Jensen, WMP van der Aalst, G Balbo, M Koutny & K Wolf (eds), The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Lecture Notes in Computer Science, vol. 7480, Springer, Berlin, Heidelberg, pp. 255-299. https://doi.org/10.1007/978-3-642-38143-0_7

APA

Valmari, A. (2013). External Behaviour of Systems of State Machines with Variables. In K. Jensen, W. M. P. van der Aalst, G. Balbo, M. Koutny, & K. Wolf (Eds.), The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII. (pp. 255-299). (Lecture Notes in Computer Science; Vol. 7480). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-38143-0_7

Vancouver

Valmari A. External Behaviour of Systems of State Machines with Variables. In Jensen K, van der Aalst WMP, Balbo G, Koutny M, Wolf K, editors, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Berlin, Heidelberg: Springer. 2013. p. 255-299. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-38143-0_7

Author

Valmari, Antti. / External Behaviour of Systems of State Machines with Variables. The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. editor / Kurt Jensen ; Wil M. P. van der Aalst ; Gianfranco Balbo ; Maciej Koutny ; Karsten Wolf. Berlin, Heidelberg : Springer, 2013. pp. 255-299 (Lecture Notes in Computer Science).

Bibtex - Download

@inproceedings{f457d22c52e94e49b4c041fe9ee0ff02,
title = "External Behaviour of Systems of State Machines with Variables",
author = "Antti Valmari",
note = "poistettu tupla r=1127<br/>Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2013-11-29<br/>Publisher name: Springer",
year = "2013",
doi = "10.1007/978-3-642-38143-0_7",
language = "English",
isbn = "978-3-642-38142-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "255--299",
editor = "Kurt Jensen and {van der Aalst}, {Wil M. P.} and Gianfranco Balbo and Maciej Koutny and Karsten Wolf",
booktitle = "The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - External Behaviour of Systems of State Machines with Variables

AU - Valmari, Antti

N1 - poistettu tupla r=1127<br/>Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2013-11-29<br/>Publisher name: Springer

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-38143-0_7

DO - 10.1007/978-3-642-38143-0_7

M3 - Conference contribution

SN - 978-3-642-38142-3

T3 - Lecture Notes in Computer Science

SP - 255

EP - 299

BT - The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.

A2 - Jensen, Kurt

A2 - van der Aalst, Wil M. P.

A2 - Balbo, Gianfranco

A2 - Koutny, Maciej

A2 - Wolf, Karsten

PB - Springer

CY - Berlin, Heidelberg

ER -