Login / Signup

Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).

Omar InversoErmenegildo TomascoBernd FischerSalvatore La TorreGennaro Parlato
Published in: TACAS (2014)
Keyphrases
  • computer vision
  • search algorithm
  • expert systems
  • real time
  • information technology
  • user friendly
  • averaged one dependence estimators