@inproceedings{e6360e32635a4dcaa1973b9edffd0066,
title = "New solvers for asymmetric systems in GreatSPN",
author = "S. Baarir and M. Beccuti and G. Franceschinis",
year = "2008",
doi = "10.1109/QEST.2008.38",
language = "English",
isbn = "9780769533605",
series = "Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008",
pages = "235--236",
booktitle = "Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008",
note = "5th International Conference on the Quantitative Evaluation of Systems, QEST 2008 ; Conference date: 14-09-2008 Through 17-09-2008",
}