%0 Conference Paper %1 conf/lopstr/KulkarniBE04 %A Kulkarni, Sandeep S. %A Bonakdarpour, Borzoo %A Ebnenasir, Ali %B LOPSTR %D 2004 %E Etalle, Sandro %I Springer %K dblp %P 36-52 %T Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2004.html#KulkarniBE04 %V 3573 %@ 3-540-26655-0

@inproceedings{conf/lopstr/KulkarniBE04, added-at = {2017-05-17T00:00:00.000+0200}, author = {Kulkarni, Sandeep S. and Bonakdarpour, Borzoo and Ebnenasir, Ali}, biburl = {https://www.bibsonomy.org/bibtex/24dcb294685b5cf537001c92cdb387186/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2004}, editor = {Etalle, Sandro}, ee = {https://doi.org/10.1007/11506676_3}, interhash = {db3f2598923b1ed84ef479a3d668b866}, intrahash = {4dcb294685b5cf537001c92cdb387186}, isbn = {3-540-26655-0}, keywords = {dblp}, pages = {36-52}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:53.000+0200}, title = {Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2004.html#KulkarniBE04}, volume = 3573, year = 2004 }