External Behaviour of Systems of State Machines with Variables
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Original language | English |
---|
Title of host publication | The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII. |
---|
Editors | Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf |
---|
Place of Publication | Berlin, Heidelberg |
---|
Publisher | Springer |
---|
Pages | 255-299 |
---|
Number of pages | 45 |
---|
ISBN (Electronic) | 978-3-642-38143-0 |
---|
ISBN (Print) | 978-3-642-38142-3 |
---|
DOIs | |
---|
Publication status | Published - 2013 |
---|
Publication type | A4 Article in a conference publication |
---|
Name | Lecture Notes in Computer Science |
---|
Volume | 7480 |
---|
ISSN (Print) | 0302-9743 |
---|