%0 Conference Paper %1 conf/gi/FenselN94 %A Fensel, Dieter %A Neubert, Susanne %B GI Jahrestagung %D 1994 %E Wolfinger, Bernd E. %I Springer %K dblp %P 43-50 %T Integration of Semiformal and Formal Methods for Specifying Knowledge-Based Systems. %U http://dblp.uni-trier.de/db/conf/gi/gi1994.html#FenselN94 %@ 3-540-58313-0

@inproceedings{conf/gi/FenselN94, added-at = {2016-03-15T00:00:00.000+0100}, author = {Fensel, Dieter and Neubert, Susanne}, biburl = {https://www.bibsonomy.org/bibtex/271466db68926e01bcca997ef4e446bb7/dblp}, booktitle = {GI Jahrestagung}, crossref = {conf/gi/1994}, editor = {Wolfinger, Bernd E.}, ee = {http://dx.doi.org/10.1007/978-3-642-51136-3_6}, interhash = {1b165676bb94c99c5d583eef90f94f7b}, intrahash = {71466db68926e01bcca997ef4e446bb7}, isbn = {3-540-58313-0}, keywords = {dblp}, pages = {43-50}, publisher = {Springer}, series = {Informatik Aktuell}, timestamp = {2016-03-16T11:53:54.000+0100}, title = {Integration of Semiformal and Formal Methods for Specifying Knowledge-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi1994.html#FenselN94}, year = 1994 }