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

Identifier