Efficient reduction of finite state model checking to reachability analysis. Schuppan, V. & Biere, A. STTT, 5(2-3):185-204, 2004.
Efficient reduction of finite state model checking to reachability analysis [link]Link  bibtex   
@article{ DBLP:journals/sttt/SchuppanB04,
  author = {Viktor Schuppan and Armin Biere},
  title = {Efficient reduction of finite state model checking to reachability analysis},
  journal = {STTT},
  pages = {185-204},
  volume = {5},
  number = {2-3},
  ee = {http://www.springerlink.com/index/10.1007/s10009-003-0121-x},
  year = {2004}
}

Downloads: 0