%0 Conference Paper %1 conf/cade/WeidenbachSHRT07 %A Weidenbach, Christoph %A Schmidt, Renate A. %A Hillenbrand, Thomas %A Rusev, Rostislav %A Topic, Dalibor %B CADE %D 2007 %E Pfenning, Frank %I Springer %K dblp %P 514-520 %T System Description: SpassVersion 3.0. %U http://dblp.uni-trier.de/db/conf/cade/cade2007.html#WeidenbachSHRT07 %V 4603 %@ 978-3-540-73594-6

@inproceedings{conf/cade/WeidenbachSHRT07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Weidenbach, Christoph and Schmidt, Renate A. and Hillenbrand, Thomas and Rusev, Rostislav and Topic, Dalibor}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e8a3d816948ae98507c4dd466fafd1a9/dblp}, booktitle = {CADE}, crossref = {conf/cade/2007}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-540-73595-3_38}, interhash = {c422e9081a70e5ce37251c35c2dd2bb8}, intrahash = {e8a3d816948ae98507c4dd466fafd1a9}, isbn = {978-3-540-73594-6}, keywords = {dblp}, pages = {514-520}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:32.000+0200}, title = {System Description: SpassVersion 3.0.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2007.html#WeidenbachSHRT07}, volume = 4603, year = 2007 }