@inproceedings{ANP17,
	author = {Andr{\'e}, {\'E}tienne and Nguyen, Hoang Gia and Petrucci, Laure},
	booktitle =		{Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017)},
	doi = {10.1109/ICECCS.2017.28},
	editor = {Hu, Zhenjiang and Bai, Guangdong},
	location = {Fukuoka, Japan},
	pages = {1--10},
	publisher = {IEEE},
	title = {Efficient parameter synthesis using optimized state exploration strategies},
	year = {2017},
	lipn-category = {intc},
	keywords = {intc},
}