%0 Conference Paper %1 journals/corr/abs-1805-05518 %A Ameur, Yamine Aït %A Aït-Sadoune, Idir %A Hacid, Kahina %A Mohand-Oussaïd, Linda %B IMPEX/FM&MDD %D 2017 %E Laleau, Régine %E Méry, Dominique %E Nakajima, Shin %E Troubitsyna, Elena %K dblp %P 24-33 %T Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs271.html#abs-1805-05518 %V 271

@inproceedings{journals/corr/abs-1805-05518, added-at = {2021-10-14T00:00:00.000+0200}, author = {Ameur, Yamine Aït and Aït-Sadoune, Idir and Hacid, Kahina and Mohand-Oussaïd, Linda}, biburl = {https://www.bibsonomy.org/bibtex/2a95f161f16f147d9ffecda072bb007c2/dblp}, booktitle = {IMPEX/FM&MDD}, crossref = {journals/corr/abs-1805-04636}, editor = {Laleau, Régine and Méry, Dominique and Nakajima, Shin and Troubitsyna, Elena}, ee = {http://arxiv.org/abs/1805.05518}, interhash = {d21adaefd85b85b5e2bb8020f5ea42db}, intrahash = {a95f161f16f147d9ffecda072bb007c2}, keywords = {dblp}, pages = {24-33}, series = {EPTCS}, timestamp = {2024-04-10T04:49:04.000+0200}, title = {Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs271.html#abs-1805-05518}, volume = 271, year = 2017 }