%0 Conference Paper %1 conf/tphol/SchurmannP03 %A Schürmann, Carsten %A Pfenning, Frank %B TPHOLs %D 2003 %E Basin, David A. %E Wolff, Burkhart %I Springer %K dblp %P 120-135 %T A Coverage Checking Algorithm for LF. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2003.html#SchurmannP03 %V 2758 %@ 3-540-40664-6

@inproceedings{conf/tphol/SchurmannP03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Schürmann, Carsten and Pfenning, Frank}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28850b1884a64ce9ece15bbf46a477391/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2003}, editor = {Basin, David A. and Wolff, Burkhart}, ee = {https://doi.org/10.1007/10930755_8}, interhash = {2a5ce148fdc80d953e69c1bc50771b6e}, intrahash = {8850b1884a64ce9ece15bbf46a477391}, isbn = {3-540-40664-6}, keywords = {dblp}, pages = {120-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:18:57.000+0200}, title = {A Coverage Checking Algorithm for LF.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2003.html#SchurmannP03}, volume = 2758, year = 2003 }