SAT solving in CSP trace refinement

Podobne zapisy

• SAT-solving in CSP trace refinement
  od: Palikareva, H, i wsp.
  Wydane: (2012)
• SAT−Solving in CSP Trace Refinement
  od: Palikareva, H, i wsp.
  Wydane: (2012)
• SAT−solving in CSP trace refinement
  od: Palikareva, H, i wsp.
  Wydane: (2011)
• Faster FDR Counterexample Generation Using SAT−Solving
  od: Palikareva, H, i wsp.
  Wydane: (2009)
• Static Livelock Analysis in CSP
  od: Ouaknine, J, i wsp.
  Wydane: (2011)