Citazione APA

Siegel, S. F., & Yan, Y. (2020). Action-Based Model Checking: Logic, Automata, and Reduction. Computer Aided Verification.

Stile di citazione Chicago

Siegel, Stephen F., e Yihao Yan. "Action-Based Model Checking: Logic, Automata, and Reduction." Computer Aided Verification 2020.

Citazione MLA

Siegel, Stephen F., e Yihao Yan. "Action-Based Model Checking: Logic, Automata, and Reduction." Computer Aided Verification 2020.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.