%0 Conference Paper %1 journals/entcs/AbujaradK09 %A Abujarad, Fuad %A Kulkarni, Sandeep S. %B LAFT@LICS %D 2009 %E Marcus, Leo %I Elsevier %K dblp %N 2 %P 3-15 %T Weakest Invariant Generation for Automated Addition of Fault-Tolerance. %U http://dblp.uni-trier.de/db/conf/lics/laft2009.html#AbujaradK09 %V 258

@inproceedings{journals/entcs/AbujaradK09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Abujarad, Fuad and Kulkarni, Sandeep S.}, biburl = {https://www.bibsonomy.org/bibtex/2113e44b06da8e7eb3c3f5aeb050e15cb/dblp}, booktitle = {LAFT@LICS}, crossref = {conf/lics/2009laft}, editor = {Marcus, Leo}, ee = {https://doi.org/10.1016/j.entcs.2009.12.010}, interhash = {55a396db291611dfd07a554300edf5d1}, intrahash = {113e44b06da8e7eb3c3f5aeb050e15cb}, keywords = {dblp}, number = 2, pages = {3-15}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T13:16:48.000+0200}, title = {Weakest Invariant Generation for Automated Addition of Fault-Tolerance.}, url = {http://dblp.uni-trier.de/db/conf/lics/laft2009.html#AbujaradK09}, volume = 258, year = 2009 }