Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol. Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electronic Notes in Theoretical Computer Science, 220(2):35-50, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.