Login / Signup

Mining Sequential Patterns to Explain Concurrent Counterexamples.

Stefan LeueMitra Tabaei Befrouei
Published in: SPIN (2013)
Keyphrases