APA (7th ed.) Citation

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 Style (17th ed.) Citation

Hudak, S., S. Korecko, and S. Simonak. A Support Tool for the Reachability and Other Petri Nets- Related Problems and Formal Design and Analysis of Discrete Systems. Інститут програмних систем НАН України, 2008.

MLA (8th ed.) Citation

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.