Cite
Language-specific model checking of UML-RT models.
MLA
Zurowska, Karolina, and Juergen Dingel. “Language-Specific Model Checking of UML-RT Models.” Software & Systems Modeling, vol. 16, no. 2, May 2017, pp. 393–415. EBSCOhost, https://doi.org/10.1007/s10270-015-0484-y.
APA
Zurowska, K., & Dingel, J. (2017). Language-specific model checking of UML-RT models. Software & Systems Modeling, 16(2), 393–415. https://doi.org/10.1007/s10270-015-0484-y
Chicago
Zurowska, Karolina, and Juergen Dingel. 2017. “Language-Specific Model Checking of UML-RT Models.” Software & Systems Modeling 16 (2): 393–415. doi:10.1007/s10270-015-0484-y.