(1 - 18 from 18
)
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