Mining Sequential Patterns to Explain Concurrent Counterexamples (bibtex)
by Stefan Leue, Mitra Tabaei Befrouei
Reference:
Mining Sequential Patterns to Explain Concurrent CounterexamplesStefan Leue, Mitra Tabaei BefroueiSPIN, volume 7976 of LNCS, pages 264-281, 2013.
Bibtex Entry:
@inproceedings{tab13:SPIN,
    author    = {Stefan Leue and Mitra Tabaei Befrouei},
    title     = {Mining Sequential Patterns to Explain Concurrent Counterexamples},
  year = 	 {2013},
  OPTkey = 	 {},
  booktitle = {SPIN},
  OPTeditor = 	 {},
  volume = 	 {7976},
  pages = {264--281},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  url = 	 {http://link.springer.com/chapter/10.1007%2F978-3-642-39176-7_17}
}
Powered by bibtexbrowser