%0 Conference Paper %1 conf/isola/Hacid16 %A Hacid, Kahina %B ISoLA (2) %D 2016 %E Margaria, Tiziana %E Steffen, Bernhard %K dblp %P 747-751 %T Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach. %U http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#Hacid16 %V 9953 %@ 978-3-319-47168-6

@inproceedings{conf/isola/Hacid16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Hacid, Kahina}, biburl = {https://www.bibsonomy.org/bibtex/2ba8fc9fc54b402454fb37b79e8e76ddd/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2016-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-47169-3_56}, interhash = {adb539dd094f4b8f68fa4d4cee1fd638}, intrahash = {ba8fc9fc54b402454fb37b79e8e76ddd}, isbn = {978-3-319-47168-6}, keywords = {dblp}, pages = {747-751}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:42:58.000+0200}, title = {Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#Hacid16}, volume = 9953, year = 2016 }