@INPROCEEDINGS{Schoenberg2009DocEng,<br xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de"><div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">author = {Schönberg, Christian and Weitl, Franz and Jaksic, Mirjana and Freitag, Burkhard},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">booktitle = {Proceedings of the 9th ACM Symposium on Document Engineering},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">pages = {251-252},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">publisher = {ACM},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">title = {Logic-based Verification of Technical Documentation},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">year = {2009}</div>}<br xmlns:se="http://se.uni-oldenburg.de">
<!--this page is auto-generated. Last update: 16.04.2024/12:52 p.m.-->