Counterexample Explanation by Anomaly Detection (bibtex)
by Stefan Leue, Mitra Tabaei Befrouei
Reference:
Counterexample Explanation by Anomaly DetectionStefan Leue, Mitra Tabaei BefroueiSPIN, volume 7385 of LNCS, pages 24-42, 2012.
Bibtex Entry:
@inproceedings{tab12:SPIN,
    author    = {Stefan Leue and Mitra Tabaei Befrouei},
    title     = {Counterexample Explanation by Anomaly Detection},
  year = 	 {2012},
  OPTkey = 	 {},
  booktitle = {SPIN},
  OPTeditor = 	 {},
  volume = 	 {7385},
  pages = {24--42},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  url = 	 {http://link.springer.com/chapter/10.1007%2F978-3-642-31759-0_5}
}
Powered by bibtexbrowser