TY - JOUR
AU - Samuel Huang
AU - Rance Cleaveland
BT - arXiv preprint arXiv:1910.09339
LA - eng
PY - 2019
T2 - arXiv preprint arXiv:1910.09339
TI - A tableau construction for finite linear-time temporal logic
ER -