Models from Scenarios

Lorenz, R.; Desel, J.; Juhas, G.

(2013) [Beitrag zu einem Tagungsband]

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII). - 7480
Seite(n): 314-371

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220929