TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

External Behaviour of Systems of State Machines with Variables

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoThe 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.
ToimittajatKurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
JulkaisupaikkaBerlin, Heidelberg
KustantajaSpringer
Sivut255-299
Sivumäärä45
ISBN (elektroninen)978-3-642-38143-0
ISBN (painettu)978-3-642-38142-3
DOI - pysyväislinkit
TilaJulkaistu - 2013
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisusarja

NimiLecture Notes in Computer Science
Vuosikerta7480
ISSN (painettu)0302-9743

Julkaisufoorumi-taso