Výrost, M., Korečko, Š., & Hudák, Š. (2009). Concepts of Refinement and Simulation in BPA and B-Method. Journal of Computer Science & Control Systems, 2(2), 74.
Chicago Style (17th ed.) CitationVýrost, Marek, Štefan Korečko, and Štefan Hudák. "Concepts of Refinement and Simulation in BPA and B-Method." Journal of Computer Science & Control Systems 2, no. 2 (2009): 74.
MLA (9th ed.) CitationVýrost, Marek, et al. "Concepts of Refinement and Simulation in BPA and B-Method." Journal of Computer Science & Control Systems, vol. 2, no. 2, 2009, p. 74.
Warning: These citations may not always be 100% accurate.