When to Ston Verification? Conference

Jha, Sumit Kumar, Langmead, Christopher James, Mohalik, Swarup et al. (2011). When to Ston Verification? . 1-6. 10.1109/date.2011.5763210

cited authors

  • Jha, Sumit Kumar; Langmead, Christopher James; Mohalik, Swarup; Ramesh, Sethu

authors

publication date

  • March 1, 2011

keywords

  • 46 Information and Computing Sciences
  • 4613 Theory Of Computation

Digital Object Identifier (DOI)

Conference

  • 2011 Design, Automation & Test in Europe

publisher

  • Institute of Electrical and Electronics Engineers (IEEE)

start page

  • 1

end page

  • 6