Fault origin adjudication (bibtex)
by Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic
Reference:
Fault origin adjudication (Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic), In Third Workshop on Formal Methods in Software Practice (FMSP'00), 2000.
Bibtex Entry:
@inproceedings{DBLP:conf/fmsp/BhargavanGO00,
  author    = {Karthikeyan Bhargavan and
               Carl A. Gunter and
               Davor Obradovic},
  title     = {Fault origin adjudication},
  booktitle = {Third Workshop on Formal Methods in Software Practice (FMSP'00)},
  year      = {2000},
  pages     = {61-71},
url="pubs/fault-origin-adjudication-fmsp01.pdf",
pdf="pubs/fault-origin-adjudication-fmsp01.pdf"
}