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]
@inproceedings{CordyR11-0,
title = {SMCSolver},
author = {Maxime Cordy and Marie-Ange Remiche},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2151738},
researchr = {https://researchr.org/publication/CordyR11-0},
cites = {0},
citedby = {0},
pages = {439-446},
booktitle = {5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011},
editor = {Samson Lasaulce and Dieter Fiems and Peter G. Harrison and Luc Vandendorpe},
publisher = {ICST/ACM},
isbn = {978-1-936968-09-1},
}