%0 Conference Paper %1 conf/lopstr/GiorginoSMP10 %A Giorgino, Mathieu %A Strecker, Martin %A Matthes, Ralph %A Pantel, Marc %B LOPSTR %D 2010 %E Alpuente, María %I Springer %K dblp %P 67-83 %T Verification of the Schorr-Waite Algorithm - From Trees to Graphs. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2010.html#GiorginoSMP10 %V 6564 %@ 978-3-642-20550-7

@inproceedings{conf/lopstr/GiorginoSMP10, added-at = {2017-05-17T00:00:00.000+0200}, author = {Giorgino, Mathieu and Strecker, Martin and Matthes, Ralph and Pantel, Marc}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bcc7dd53128e82188f56244f88bcc4ec/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2010}, editor = {Alpuente, María}, ee = {https://doi.org/10.1007/978-3-642-20551-4_5}, interhash = {e6a5e8e0e0ee88b5c8a28f6d6951a484}, intrahash = {bcc7dd53128e82188f56244f88bcc4ec}, isbn = {978-3-642-20550-7}, keywords = {dblp}, pages = {67-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:25:30.000+0200}, title = {Verification of the Schorr-Waite Algorithm - From Trees to Graphs.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2010.html#GiorginoSMP10}, volume = 6564, year = 2010 }