Hudak, S., Korecko, S., & Simonak, S. (2008). A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems. Інститут програмних систем НАН України.
Chicago-Zitierstil (17. Ausg.)Hudak, S., S. Korecko, und S. Simonak. A Support Tool for the Reachability and Other Petri Nets- Related Problems and Formal Design and Analysis of Discrete Systems. Інститут програмних систем НАН України, 2008.
MLA-Zitierstil (8. Ausg.)Hudak, S., et al. A Support Tool for the Reachability and Other Petri Nets- Related Problems and Formal Design and Analysis of Discrete Systems. Інститут програмних систем НАН України, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.