A Semantics for Every GSPN.
| Autor: | Eisentraut, Christian, Hermanns, Holger, Katoen, Joost-Pieter, Zhang, Lijun |
|---|---|
| Zdroj: | Application & Theory of Petri Nets & Concurrency; 2013, p90-109, 20p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Eisentraut, Christian, Hermanns, Holger, Katoen, Joost-Pieter, Zhang, Lijun |
|---|---|
| Zdroj: | Application & Theory of Petri Nets & Concurrency; 2013, p90-109, 20p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|