Authors: Emerson, EA Jutla, CS Sistla, AP

Citation: Ea. Emerson et al., On model checking for the mu-calculus and its fragments, THEOR COMP, 258(1-2), 2001, pp. 491-522

Authors: Sistla, AP Gyuris, V Emerson, EA

Citation: Ap. Sistla et al., SMC: A symmetry-based model checker for verification of safety and liveness properties, ACM T SOFTW, 9(2), 2000, pp. 133-166

Authors: Wolfson, O Sistla, AP Chamberlain, S Yesha, Y

Citation: O. Wolfson et al., Updating and querying databases that track mobile units, DIST PARALL, 7(3), 1999, pp. 257-287

Authors: Sistla, AP Wolfson, O

Citation: Ap. Sistla et O. Wolfson, Towards a theory of cost management for digital libraries and electronic commerce, ACM T DATAB, 23(4), 1998, pp. 411-452