APA (7th ed.) Citation

Szwed, P. Efficiency of formal verification of ArchiMate business processes with NuSMV model checker. Polish Information Processing Society.

Chicago Style (17th ed.) Citation

Szwed, Piotr. Efficiency of Formal Verification of ArchiMate Business Processes with NuSMV Model Checker. Polish Information Processing Society.

MLA (9th ed.) Citation

Szwed, Piotr. Efficiency of Formal Verification of ArchiMate Business Processes with NuSMV Model Checker. Polish Information Processing Society.

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