Stefan Leye, Orianne Mazemondet, Adelinde M. Uhrmacher. Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking. In Fourth UKSim European Symposium on Computer Modeling and Simulation, EMS 2010, Pisa, Italy, November 17-19, 2010. pages 344-350, IEEE Computer Society, 2010. [doi]
Abstract is missing.