Old and New Algorithms for Minimal Coverability Sets
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
| Original language | English |
|---|
| Title of host publication | Application and Theory of Petri Nets. 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science |
|---|
| Place of Publication | Berlin |
|---|
| Publisher | Springer |
|---|
| Pages | 208-227 |
|---|
| ISBN (Electronic) | 978-3-642-31131-4 |
|---|
| ISBN (Print) | 978-3-642-31130-7 |
|---|
| DOIs | |
|---|
| Publication status | Published - 2012 |
|---|
| Publication type | A4 Article in a conference publication |
|---|
| Name | International Conference on Application and Theory of Petri Nets and Concurrency |
|---|
| Volume | 7347 |
|---|
| ISSN (Print) | 0302-9743 |
|---|
| ISSN (Electronic) | 1611-3349 |
|---|
