Cite
Efficient model checking for LTL with partial order snapshots
MLA
Niebert, Peter, and Doron Peled. “Efficient Model Checking for LTL with Partial Order Snapshots.” Theoretical Computer Science, vol. 410, no. 42, Sept. 2009, pp. 4180–89. EBSCOhost, https://doi.org/10.1016/j.tcs.2009.03.002.
APA
Niebert, P., & Peled, D. (2009). Efficient model checking for LTL with partial order snapshots. Theoretical Computer Science, 410(42), 4180–4189. https://doi.org/10.1016/j.tcs.2009.03.002
Chicago
Niebert, Peter, and Doron Peled. 2009. “Efficient Model Checking for LTL with Partial Order Snapshots.” Theoretical Computer Science 410 (42): 4180–89. doi:10.1016/j.tcs.2009.03.002.