%0 Conference Paper %1 conf/spin/LeueB13 %A Leue, Stefan %A Befrouei, Mitra Tabaei %B SPIN %D 2013 %E Bartocci, Ezio %E Ramakrishnan, C. R. %I Springer %K %P 264-281 %T Mining Sequential Patterns to Explain Concurrent Counterexamples. %U http://dblp.uni-trier.de/db/conf/spin/spin2013.html#LeueB13 %V 7976 %@ 978-3-642-39175-0

@inproceedings{conf/spin/LeueB13, added-at = {2023-12-14T15:35:57.000+0100}, author = {Leue, Stefan and Befrouei, Mitra Tabaei}, biburl = {https://www.bibsonomy.org/bibtex/2ccbf5ec445e003227c8dbe5b774eddce/admin}, booktitle = {SPIN}, crossref = {conf/spin/2013}, editor = {Bartocci, Ezio and Ramakrishnan, C. R.}, ee = {https://doi.org/10.1007/978-3-642-39176-7_17}, interhash = {ed2afc9146f4715cfc4704687b501327}, intrahash = {ccbf5ec445e003227c8dbe5b774eddce}, isbn = {978-3-642-39175-0}, keywords = {}, pages = {264-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:35:57.000+0100}, title = {Mining Sequential Patterns to Explain Concurrent Counterexamples.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2013.html#LeueB13}, volume = 7976, year = 2013 }