{"_id":"uHjWgkY835mKq7EML","bibbaseid":"ludewig-glinz-matheis-softwarespezifikationdurchhalbformaleanschaulichemodelle-1985","downloads":0,"creationDate":"2017-09-05T15:16:00.379Z","title":"Software-Spezifikation durch halbformale anschauliche Modelle","author_short":["Ludewig, J","Glinz, M","Matheis, H"],"year":1985,"bibtype":"misc","biburl":"https://www2.swc.rwth-aachen.de/docs/booksHL.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"propositions":[],"lastnames":["Ludewig"],"firstnames":["J"],"suffixes":[]},{"propositions":[],"lastnames":["Glinz"],"firstnames":["M"],"suffixes":[]},{"propositions":[],"lastnames":["Matheis"],"firstnames":["H"],"suffixes":[]}],"keywords":"Ordner-B,Unvollständigkeit","mendeley-tags":"Ordner-B","pages":"120--193","publisher":"in H.R. Hansen: GI/OCG/ÖGI-Jahrestagung 1985, Informatik-FB 108, Springer-Verlag, Berlin","title":"Software-Spezifikation durch halbformale anschauliche Modelle","year":"1985","bibtex":"@misc{Ludewig1985,\nauthor = {Ludewig, J and Glinz, M and Matheis, H},\nkeywords = {Ordner-B,Unvollst{\\\"{a}}ndigkeit},\nmendeley-tags = {Ordner-B},\npages = {120--193},\npublisher = {in H.R. Hansen: GI/OCG/{\\\"{O}}GI-Jahrestagung 1985, Informatik-FB 108, Springer-Verlag, Berlin},\ntitle = {{Software-Spezifikation durch halbformale anschauliche Modelle}},\nyear = {1985}\n}\n","author_short":["Ludewig, J","Glinz, M","Matheis, H"],"key":"Ludewig1985","id":"Ludewig1985","bibbaseid":"ludewig-glinz-matheis-softwarespezifikationdurchhalbformaleanschaulichemodelle-1985","role":"author","urls":{},"keyword":["Ordner-B","Unvollständigkeit"],"downloads":0,"html":""},"search_terms":["software","spezifikation","durch","halbformale","anschauliche","modelle","ludewig","glinz","matheis"],"keywords":["ordner-b","unvollständigkeit"],"authorIDs":[],"dataSources":["mBXRzXXyMLZtcDe8E"]}