Model Checking General Linear Temporal Logic.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Browse the full TABLEAUX paper archive.