Publication status
publishedExternal links
Book title
Transactions on Petri Nets and Other Models of Concurrency VIJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Subject
Petri Nets; Model Checking; ContestOrganisational unit
03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
More
Show all metadata
ETH Bibliography
no
Altmetrics