@inproceedings{mery_modeling_2014,
	title = {Modeling an aircraft landing system in {Event}-{B}},
	booktitle = {International {Conference} on {Abstract} {State} {Machines}, {Alloy}, {B}, {TLA}, {VDM}, and {Z}},
	publisher = {Springer},
	author = {Méry, Dominique and Singh, Neeraj Kumar},
	year = {2014},
	note = {tex.ids= mery\_modeling\_2014},
	keywords = {Event-B, Landing System, Validation Refinement, Verification, ⛔ No DOI found},
	pages = {154--159},
}

{"_id":"haAFuCgFhGpibjybh","bibbaseid":"mry-singh-modelinganaircraftlandingsystemineventb-2014","author_short":["Méry, D.","Singh, N. K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Modeling an aircraft landing system in Event-B","booktitle":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","publisher":"Springer","author":[{"propositions":[],"lastnames":["Méry"],"firstnames":["Dominique"],"suffixes":[]},{"propositions":[],"lastnames":["Singh"],"firstnames":["Neeraj","Kumar"],"suffixes":[]}],"year":"2014","note":"tex.ids= mery_modeling_2014","keywords":"Event-B, Landing System, Validation Refinement, Verification, ⛔ No DOI found","pages":"154–159","bibtex":"@inproceedings{mery_modeling_2014,\n\ttitle = {Modeling an aircraft landing system in {Event}-{B}},\n\tbooktitle = {International {Conference} on {Abstract} {State} {Machines}, {Alloy}, {B}, {TLA}, {VDM}, and {Z}},\n\tpublisher = {Springer},\n\tauthor = {Méry, Dominique and Singh, Neeraj Kumar},\n\tyear = {2014},\n\tnote = {tex.ids= mery\\_modeling\\_2014},\n\tkeywords = {Event-B, Landing System, Validation Refinement, Verification, ⛔ No DOI found},\n\tpages = {154--159},\n}\n\n","author_short":["Méry, D.","Singh, N. K."],"key":"mery_modeling_2014","id":"mery_modeling_2014","bibbaseid":"mry-singh-modelinganaircraftlandingsystemineventb-2014","role":"author","urls":{},"keyword":["Event-B","Landing System","Validation Refinement","Verification","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["event-b","landing system","validation refinement","verification","⛔ no doi found"],"search_terms":["modeling","aircraft","landing","system","event","méry","singh"],"title":"Modeling an aircraft landing system in Event-B","year":2014}