| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 2 |      | Stefan Hudák: Verification of Systems: Deadlock Analysis Based on Petri Nets. ICTERI 2012: 321-343 |
| 2008 | ||
| 1 | | Slavomír Simonák, Stefan Hudák, Stefan Korecko: APC Semantics for Petri Nets. Informatica (Slovenia) 32(3): 253-260 (2008) |
| 1 | Stefan Korecko | [1] |
| 2 | Slavomír Simonák | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page