%0 Conference Paper %1 conf/mbmv/WedlerSK03 %A Wedler, Markus %A Stoffel, Dominik %A Kunz, Wolfgang %B MBMV %D 2003 %E Drechsler, Rolf %I Shaker %K dblp %P 199-208 %T Towards the impact of state encoding on induction-based property checking. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2003.html#WedlerSK03

@inproceedings{conf/mbmv/WedlerSK03, added-at = {2012-06-28T00:00:00.000+0200}, author = {Wedler, Markus and Stoffel, Dominik and Kunz, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/275884e35c8329ba45a6833953610d681/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2003}, editor = {Drechsler, Rolf}, interhash = {0bea7245cd3433530f24b88d0dc7115d}, intrahash = {75884e35c8329ba45a6833953610d681}, keywords = {dblp}, pages = {199-208}, publisher = {Shaker}, timestamp = {2012-06-29T11:33:44.000+0200}, title = {Towards the impact of state encoding on induction-based property checking.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2003.html#WedlerSK03}, year = 2003 }