%0 Conference Paper %1 conf/re/FenselAS93 %A Fensel, Dieter %A Angele, Jürgen %A Studer, Rudi %B Requirements Engineering %D 1993 %E Züllighoven, Heinz %E Altmann, Werner %E Doberkat, Ernst-Erich %I Teubner %K dblp %P 267-286 %T Giving Structured Analysis Technologie a Formal and Operational Semantics with KARL. %U http://dblp.uni-trier.de/db/conf/re/re1993.html#FenselAS93 %V 41 %@ 3-519-02682-1

@inproceedings{conf/re/FenselAS93, added-at = {2003-02-25T00:00:00.000+0100}, author = {Fensel, Dieter and Angele, Jürgen and Studer, Rudi}, biburl = {https://www.bibsonomy.org/bibtex/236c491fff455bcd7028fe9b07b88d483/dblp}, booktitle = {Requirements Engineering}, crossref = {conf/re/1993}, date = {2003-02-25}, description = {dblp}, editor = {Züllighoven, Heinz and Altmann, Werner and Doberkat, Ernst-Erich}, interhash = {da14166f05ca06c6ff99b63c15b70d05}, intrahash = {36c491fff455bcd7028fe9b07b88d483}, isbn = {3-519-02682-1}, keywords = {dblp}, pages = {267-286}, publisher = {Teubner}, series = {Berichte des German Chapter of the ACM}, timestamp = {2003-02-25T00:00:00.000+0100}, title = {Giving Structured Analysis Technologie a Formal and Operational Semantics with KARL.}, url = {http://dblp.uni-trier.de/db/conf/re/re1993.html#FenselAS93}, volume = 41, year = 1993 }