APA Citation

Batz, K., Junges, S., Kaminski, B. L., Katoen, J., Matheja, C., & Schröer, P. (2020). PrIC3: Property Directed Reachability for MDPs. Computer Aided Verification.

Citação norma Chicago

Batz, Kevin, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, and Philipp Schröer. "PrIC3: Property Directed Reachability for MDPs." Computer Aided Verification 2020.

MLA Citation

Batz, Kevin, et al. "PrIC3: Property Directed Reachability for MDPs." Computer Aided Verification 2020.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.