(2019). Optimal Time-Bounded Reachability Analysis for Concurrent Systems. Tools and Algorithms for the Construction and Analysis of Systems, 11428, . https://doi.org/10.1007/978-3-030-17465-1_11
Citace podle Chicago (17th ed.)"Optimal Time-Bounded Reachability Analysis for Concurrent Systems." Tools and Algorithms for the Construction and Analysis of Systems 11428 (2019). https://doi.org/10.1007/978-3-030-17465-1_11.
Citace podle MLA (9th ed.)"Optimal Time-Bounded Reachability Analysis for Concurrent Systems." Tools and Algorithms for the Construction and Analysis of Systems, vol. 11428, 2019, https://doi.org/10.1007/978-3-030-17465-1_11.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..