Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives.

MLA

Molinari, Alberto, et al. “Model Checking for Fragments of Halpern and Shoham’s Interval Temporal Logic Based on Track Representatives.” Information & Computation, vol. 259, Apr. 2018, pp. 412–43. EBSCOhost, https://doi.org/10.1016/j.ic.2017.08.011.

APA

Molinari, A., Montanari, A., & Peron, A. (2018). Model checking for fragments of Halpern and Shoham’s interval temporal logic based on track representatives. Information & Computation, 259, 412–443. https://doi.org/10.1016/j.ic.2017.08.011

Chicago

Molinari, Alberto, Angelo Montanari, and Adriano Peron. 2018. “Model Checking for Fragments of Halpern and Shoham’s Interval Temporal Logic Based on Track Representatives.” Information & Computation 259 (April): 412–43. doi:10.1016/j.ic.2017.08.011.