arXiv 2004-07-02 EN Predicate Abstraction with Indexed Predicates Lahiri, Shuvendu K. · Bryant, Randal E.
arXiv 2003-11-17 EN Temporalized logics and automata for time granularity Franceschet, M. · Montanari, A.
arXiv 2001-01-16 EN A Classification of Symbolic Transition Systems Henzinger, Thomas A. · Majumdar, Rupak · Raskin, Jean-Francois
