Improving Model Checking with Context Modelling. Dhaussy, P., Boniol, F., Roger, J., & Leroux, L. Advances in Software Engineering, 2012:13, 2012.
bibtex   
@article{DhaBonRog12a,
	Author = {Dhaussy, Philippe and Boniol, Fr\'ed\'eric and Roger, Jean-Charles and Leroux, Luka},
	Date = {2012},
	Date-Added = {2019-04-06 23:14:57 +0200},
	Date-Modified = {2019-04-06 23:15:04 +0200},
	Journal = {Advances in Software Engineering},
	Pages = {13},
	Title = {Improving Model Checking with Context Modelling},
	Volume = {2012},
	Year = {2012}}

Downloads: 0