@phdthesis{TUW-119272,
    author = {Navratil, Gerhard},
    title = {Formalisierung von Gesetzen},
    school = {Geoinformation und Landesvermessung},
    year = {2002},
    url = {ftp://ftp.geoinfo.tuwien.ac.at/navratil/Nav_PhD.pdf}
}

{"_id":"24rNbyQCc9NJdnN9J","bibbaseid":"navratil-formalisierungvongesetzen-2002","downloads":0,"creationDate":"2018-03-05T16:50:09.443Z","title":"Formalisierung von Gesetzen","author_short":["Navratil, G."],"year":2002,"bibtype":"phdthesis","biburl":"http://geoinfo.geo.tuwien.ac.at/wp-content/uploads/2018/03/bibliography.txt","bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["Navratil"],"firstnames":["Gerhard"],"suffixes":[]}],"title":"Formalisierung von Gesetzen","school":"Geoinformation und Landesvermessung","year":"2002","url":"ftp://ftp.geoinfo.tuwien.ac.at/navratil/Nav_PhD.pdf","bibtex":"@phdthesis{TUW-119272,\n author = {Navratil, Gerhard},\n title = {Formalisierung von Gesetzen},\n school = {Geoinformation und Landesvermessung},\n year = {2002},\n url = {ftp://ftp.geoinfo.tuwien.ac.at/navratil/Nav_PhD.pdf}\n}\n\n","author_short":["Navratil, G."],"key":"TUW-119272","id":"TUW-119272","bibbaseid":"navratil-formalisierungvongesetzen-2002","role":"author","urls":{"Paper":"ftp://ftp.geoinfo.tuwien.ac.at/navratil/Nav_PhD.pdf"},"downloads":0},"search_terms":["formalisierung","von","gesetzen","navratil"],"keywords":[],"authorIDs":[],"dataSources":["cSq8k7DJdd5scrmBf"]}