(1 - 15 from 17
)
CSI Events 2004
www.cs.inf.ethz.ch
"Automated, compositional and iterative deadlock detection", Natasha Sharygina, Carnegie Mellon University. Daniel Kroening : Wed :30: Weihnachts-Essen:
sorted by relevance / date