Verification of temporal logic specifications via model checking - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Paola Spoletini. Verification of temporal logic specifications via model checking. PhD thesis, Polytechnic University of Milan, Italy, 2005. [doi]

@phdthesis{it-2820,
  title = {Verification of temporal logic specifications via model checking},
  author = {Paola Spoletini},
  year = {2005},
  url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0018974},
  researchr = {https://researchr.org/publication/it-2820},
  cites = {0},
  citedby = {0},
  school = {Polytechnic University of Milan, Italy},
}

runs on WebDSL