Maxime Cordy, Marie-Ange Remiche. SMCSolver. In Samson Lasaulce, Dieter Fiems, Peter G. Harrison, Luc Vandendorpe, editors, 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011. pages 439-446, ICST/ACM, 2011. [doi]
Abstract is missing.