%0 Conference Paper %1 conf/asm/SuA14 %A Su, Wen %A Abrial, Jean-Raymond %B ABZ (Case Study) %D 2014 %E Boniol, Frédéric %E Wiels, Virginie %E Ameur, Yamine Aït %E Schewe, Klaus-Dieter %I Springer %K dblp %P 19-35 %T Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System. %U http://dblp.uni-trier.de/db/conf/asm/abz2014cst.html#SuA14 %V 433 %@ 978-3-319-07511-2

@inproceedings{conf/asm/SuA14, added-at = {2019-05-07T00:00:00.000+0200}, author = {Su, Wen and Abrial, Jean-Raymond}, biburl = {https://www.bibsonomy.org/bibtex/279c26318106bd9e71a012923cd6ae477/dblp}, booktitle = {ABZ (Case Study)}, crossref = {conf/asm/2014cst}, editor = {Boniol, Frédéric and Wiels, Virginie and Ameur, Yamine Aït and Schewe, Klaus-Dieter}, ee = {https://doi.org/10.1007/978-3-319-07512-9_2}, interhash = {797fbaf6e83710b03d2c5cf0a7208d31}, intrahash = {79c26318106bd9e71a012923cd6ae477}, isbn = {978-3-319-07511-2}, keywords = {dblp}, pages = {19-35}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2019-05-08T11:38:40.000+0200}, title = {Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2014cst.html#SuA14}, volume = 433, year = 2014 }