@conference {287,
	title = {Lattice-Based Refinement in Bounded Model Checking},
	booktitle = {VSTTE},
	year = {2018},
	month = {07/2018},
	author = {Karine Even-Mendoza and Sepideh Asadi and Antti Hyv{\"a}rinen and Hana  Chockler and Natasha Sharygina}
}
