@article{dhaussy_improving_2012,
	title = {Improving {Model} {Checking} with {Context} {Modelling}},
	url = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00738735},
	doi = {10/gb8k9z},
	language = {English},
	author = {Dhaussy, Philippe and Boniol, Frédéric and Roger, Jean-Charles and Leroux, Luka},
	year = {2012},
	keywords = {[MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT]},
}

{"_id":"PpTHdDLYEq77KnwMs","bibbaseid":"dhaussy-boniol-roger-leroux-improvingmodelcheckingwithcontextmodelling-2012","authorIDs":[],"author_short":["Dhaussy, P.","Boniol, F.","Roger, J.","Leroux, L."],"bibdata":{"bibtype":"article","type":"article","title":"Improving Model Checking with Context Modelling","url":"https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00738735","doi":"10/gb8k9z","language":"English","author":[{"propositions":[],"lastnames":["Dhaussy"],"firstnames":["Philippe"],"suffixes":[]},{"propositions":[],"lastnames":["Boniol"],"firstnames":["Frédéric"],"suffixes":[]},{"propositions":[],"lastnames":["Roger"],"firstnames":["Jean-Charles"],"suffixes":[]},{"propositions":[],"lastnames":["Leroux"],"firstnames":["Luka"],"suffixes":[]}],"year":"2012","keywords":"[MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT]","bibtex":"@article{dhaussy_improving_2012,\n\ttitle = {Improving {Model} {Checking} with {Context} {Modelling}},\n\turl = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00738735},\n\tdoi = {10/gb8k9z},\n\tlanguage = {English},\n\tauthor = {Dhaussy, Philippe and Boniol, Frédéric and Roger, Jean-Charles and Leroux, Luka},\n\tyear = {2012},\n\tkeywords = {[MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT]},\n}\n\n","author_short":["Dhaussy, P.","Boniol, F.","Roger, J.","Leroux, L."],"key":"dhaussy_improving_2012","id":"dhaussy_improving_2012","bibbaseid":"dhaussy-boniol-roger-leroux-improvingmodelcheckingwithcontextmodelling-2012","role":"author","urls":{"Paper":"https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00738735"},"keyword":["[MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT]"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","creationDate":"2020-07-22T13:21:44.776Z","downloads":0,"keywords":["[math.math-it]mathematics [math]/information theory [math.it]"],"search_terms":["improving","model","checking","context","modelling","dhaussy","boniol","roger","leroux"],"title":"Improving Model Checking with Context Modelling","year":2012,"dataSources":["TeJe2rTmEWBM8PPwx","YCBcQPneB9oxahSnp"]}