APA (7th ed.) Citation

Šimoňák, S. Formal methods transformation optimizations within the ACP2PETRI tool.

Chicago Style (17th ed.) Citation

Šimoňák, Slavomír. Formal Methods Transformation Optimizations Within the ACP2PETRI Tool.

MLA (9th ed.) Citation

Šimoňák, Slavomír. Formal Methods Transformation Optimizations Within the ACP2PETRI Tool.

Warning: These citations may not always be 100% accurate.