@ARTICLE{Schonberg2011JSC,<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 Freitag, Burkhard},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">journal = {Journal of Symbolic Computation, Special Issue on Automated Specification and Verification of Web Systems},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">number = {2},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">pages = {183-206},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">title = {Verifying the Consistency of Web-based Technical Documentations},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">volume = {46},</div>
<div xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:se="http://se.uni-oldenburg.de" style="text-indent:10px;">year = {2011}</div>}<br xmlns:se="http://se.uni-oldenburg.de">
<!--this page is auto-generated. Last update: 16.04.2024/12:52 p.m.-->