Malcolm Mumme

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Recognition Algorithm

Simulated Annealing

Top Venues

Int. J. Found. Comput. Sci.

Publications

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