%0 Conference Paper %1 conf/hldvt/DrechslerHW12 %A Drechsler, Rolf %A Harris, Ian G. %A Wille, Robert %B HLDVT %D 2012 %I IEEE Computer Society %K %P 164-165 %T Generating formal system models from natural language descriptions. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2012.html#DrechslerHW12 %@ 978-1-4673-2897-5

@inproceedings{conf/hldvt/DrechslerHW12, added-at = {2023-12-12T21:17:53.000+0100}, author = {Drechsler, Rolf and Harris, Ian G. and Wille, Robert}, biburl = {https://www.bibsonomy.org/bibtex/20d96330a6255448349c128b44203abe5/admin}, booktitle = {HLDVT}, crossref = {conf/hldvt/2012}, ee = {https://www.wikidata.org/entity/Q59242475}, interhash = {3c0f6e80f5595e4d5f0fc5f47821a0df}, intrahash = {0d96330a6255448349c128b44203abe5}, isbn = {978-1-4673-2897-5}, keywords = {}, pages = {164-165}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T21:17:53.000+0100}, title = {Generating formal system models from natural language descriptions.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2012.html#DrechslerHW12}, year = 2012 }