"LTSmin: Distributed and Symbolic Reachability."

Stefan Blom, Jaco van de Pol, Michael Weber (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics