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,
title = {Mining Sequential Patterns to Explain Concurrent Counterexamples},
url = {/pubpdf/Mining_Sequential_Patterns_to_Explain_Concurrent_Counterexamples.pdf},
series = {LNCS},
booktitle = {SPIN},
author = {Stefan Leue and Mitra Tabaei Befrouei},
volume = {7976},
link = {http://link.springer.com/chapter/10.1007%2F978-3-642-39176-7_17},
year = {2013},
pages = {264--281},
}
Powered by bibtexbrowser