Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.

Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan

Browse the full ICLP paper archive.