Authors: Chan, W Anderson, RJ Beame, P Jones, DH Notkin, D Warner, WE

Citation: W. Chan et al., Optimizing symbolic model checking for statecharts, IEEE SOFT E, 27(2), 2001, pp. 170-190

Authors: Beame, P Borodin, A Raghavan, P Ruzzo, WL Tompa, M

Citation: P. Beame et al., A time-space tradeoff for undirected graph traversal by walking automata, SIAM J COMP, 28(3), 1999, pp. 1051-1072

Authors: Beame, P Impagliazzo, R Pitassi, T

Citation: P. Beame et al., Improved depth lower bounds for small distance connectivity, COMP COMPLE, 7(4), 1998, pp. 325-345