Temporal Logic Model Checking Book Chapter

Clarke, Edmund, Fehnker, Ansgar, Jha, Sumit Kumar et al. (2005). Temporal Logic Model Checking . 539-558. 10.1007/0-8176-4404-0_23

cited authors

  • Clarke, Edmund; Fehnker, Ansgar; Jha, Sumit Kumar; Veith, Helmut

authors

publication date

  • January 1, 2005

keywords

  • 46 Information and Computing Sciences
  • 4612 Software Engineering
  • 4613 Theory Of Computation

Digital Object Identifier (DOI)

publisher

  • Springer Nature

start page

  • 539

end page

  • 558