A Fully Symbolic Bisimulation Algorithm. - Malcolm Mumme; Gianfranco Ciardo (RP, 2011)

An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems. - Malcolm Mumme; Gianfranco Ciardo (Int. J. Found. Comput. Sci., 2013)