External Behaviour of Systems of State Machines with Variables

Antti Valmari

doi:10.1007/978-3-642-38143-0_7

External Behaviour of Systems of State Machines with Variables

Julkaisun otsikon käännös: External Behaviour of Systems of State Machines with Variables

Antti Valmari

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Julkaisun otsikon käännös	External Behaviour of Systems of State Machines with Variables
Alkuperäiskieli	Englanti
Otsikko	The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.
Toimittajat	Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
Julkaisupaikka	Berlin, Heidelberg
Kustantaja	Springer
Sivut	255-299
Sivumäärä	45
ISBN (elektroninen)	978-3-642-38143-0
ISBN (painettu)	978-3-642-38142-3
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-38143-0_7
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Vuosikerta	7480
ISSN (painettu)	0302-9743

Julkaisufoorumi-taso

Jufo-taso 1

Pääsy asiakirjaan

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

Siteeraa tätä

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

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.. Toimittaja / Kurt Jensen ; Wil M. P. van der Aalst ; Gianfranco Balbo ; Maciej Koutny ; Karsten Wolf. Berlin, Heidelberg : Springer, 2013. Sivut 255-299 (Lecture Notes in Computer Science).

@inproceedings{f457d22c52e94e49b4c041fe9ee0ff02,

title = "External Behaviour of Systems of State Machines with Variables",

author = "Antti Valmari",

note = "poistettu tupla r=1127 Contribution: organisation=mat,FACT1=1 Portfolio EDEND: 2013-11-29 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.",

}

Valmari, A 2013, External Behaviour of Systems of State Machines with Variables. julkaisussa K Jensen, WMP van der Aalst, G Balbo, M Koutny & K Wolf (toim), 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, Vuosikerta 7480, Springer, Berlin, Heidelberg, Sivut 255-299. https://doi.org/10.1007/978-3-642-38143-0_7

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.. toim. / Kurt Jensen; Wil M. P. van der Aalst; Gianfranco Balbo; Maciej Koutny; Karsten Wolf. Berlin, Heidelberg: Springer, 2013. s. 255-299 (Lecture Notes in Computer Science; Vuosikerta 7480).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - External Behaviour of Systems of State Machines with Variables

AU - Valmari, Antti

N1 - poistettu tupla r=1127 Contribution: organisation=mat,FACT1=1 Portfolio EDEND: 2013-11-29 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 -

Valmari A. External Behaviour of Systems of State Machines with Variables. julkaisussa Jensen K, van der Aalst WMP, Balbo G, Koutny M, Wolf K, toimittajat, 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. s. 255-299. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-38143-0_7