APA引文

Roychoudhury, A., Ramakrishnan, C., & SCIENCE, C. (2013). Unfold/fold transformations for automated verification of parameterized concurrent systems.

Chicago Style Citation

Roychoudhury, A., C.R Ramakrishnan, and COMPUTER SCIENCE. Unfold/fold Transformations for Automated Verification of Parameterized Concurrent Systems. 2013.

MLA引文

Roychoudhury, A., C.R Ramakrishnan, and COMPUTER SCIENCE. Unfold/fold Transformations for Automated Verification of Parameterized Concurrent Systems. 2013.

警告：這些引文格式不一定是100％准確.