%0 Conference Paper %1 conf/ipsen/SchurrZ96 %A Schürr, Andy %A Zündorf, Albert %B IPSEN Book %D 1996 %E Nagl, Manfred %I Springer %K %P 297-323 %T Specification of Logical Documents and Tools. %U http://dblp.uni-trier.de/db/conf/ipsen/ipsen96.html#SchurrZ96 %V 1170 %@ 3-540-61985-2

@inproceedings{conf/ipsen/SchurrZ96, added-at = {2023-12-13T02:31:24.000+0100}, author = {Schürr, Andy and Zündorf, Albert}, biburl = {https://www.bibsonomy.org/bibtex/238c6960131bb7b8394e1460d803efcc3/admin}, booktitle = {IPSEN Book}, crossref = {conf/ipsen/96}, editor = {Nagl, Manfred}, ee = {http://link.springer.com/chapter/10.1007/BFb0035687}, interhash = {8045967ad3e0971ca91d6faf66be8241}, intrahash = {38c6960131bb7b8394e1460d803efcc3}, isbn = {3-540-61985-2}, keywords = {}, note = {10.1007/BFb0035687}, pages = {297-323}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:31:24.000+0100}, title = {Specification of Logical Documents and Tools.}, url = {http://dblp.uni-trier.de/db/conf/ipsen/ipsen96.html#SchurrZ96}, volume = 1170, year = 1996 }