Models from Scenarios
Lorenz, R.; Desel, J.; Juhas, G.
(2013)
Contribution to a conference proceedings
In: Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII). - 7480
Page(s)/Article-Nr.: 314-371
Institutions
- Chair of Computer Science 9 (Process and Data Science) [122510]
- Department of Computer Science [120000]
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-220929