(2019). Presentation of the 9th Edition of the Model Checking Contest. Tools and Algorithms for the Construction and Analysis of Systems, 11429, . https://doi.org/10.1007/978-3-030-17502-3_4
Citace podle Chicago (17th ed.)"Presentation of the 9th Edition of the Model Checking Contest." Tools and Algorithms for the Construction and Analysis of Systems 11429 (2019). https://doi.org/10.1007/978-3-030-17502-3_4.
Citace podle MLA (9th ed.)"Presentation of the 9th Edition of the Model Checking Contest." Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, 2019, https://doi.org/10.1007/978-3-030-17502-3_4.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..