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 |
|---|
