Interval Traces with Mutex Relation

Autor: Ryszard Janicki, Maciej Koutny, Łukasz Mikulski
Rok vydání: 2023
Zdroj: Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
DOI: 10.1007/978-3-031-33620-1_8
Databáze: OpenAIRE