Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro

Browse the full ICTAC paper archive.