A Semantics for Every GSPN
| Title | A Semantics for Every GSPN |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Eisentraut, C, Hermanns, H, Katoen, J-P, Zhang, L |
| Conference Name | Petri Nets 2013 |
| Publisher | Springer |
PDF (Full text):
Work Package:
WP1
