Efficient decision procedures for model checking of linear time logic properties

Roderick Paul Bloem, K. Ravi, F. Somenzi

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Computer Aided Verification
PublisherSpringer
Pages222-235
Publication statusPublished - 1999
EventInternational Conference on Computer Aided Verification - Trento, Italy
Duration: 7 Jul 199910 Jul 1999

Conference

ConferenceInternational Conference on Computer Aided Verification
CountryItaly
CityTrento
Period7/07/9910/07/99

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., Ravi, K., & Somenzi, F. (1999). Efficient decision procedures for model checking of linear time logic properties. In International Conference on Computer Aided Verification (pp. 222-235). Springer.

Efficient decision procedures for model checking of linear time logic properties. / Bloem, Roderick Paul; Ravi, K.; Somenzi, F.

International Conference on Computer Aided Verification. Springer, 1999. p. 222-235.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Ravi, K & Somenzi, F 1999, Efficient decision procedures for model checking of linear time logic properties. in International Conference on Computer Aided Verification. Springer, pp. 222-235, International Conference on Computer Aided Verification, Trento, Italy, 7/07/99.
Bloem RP, Ravi K, Somenzi F. Efficient decision procedures for model checking of linear time logic properties. In International Conference on Computer Aided Verification. Springer. 1999. p. 222-235
Bloem, Roderick Paul ; Ravi, K. ; Somenzi, F. / Efficient decision procedures for model checking of linear time logic properties. International Conference on Computer Aided Verification. Springer, 1999. pp. 222-235
@inproceedings{9d1b7573487f4e46aa8c64794cec2458,
title = "Efficient decision procedures for model checking of linear time logic properties",
author = "Bloem, {Roderick Paul} and K. Ravi and F. Somenzi",
note = "LNCS 1633",
year = "1999",
language = "English",
pages = "222--235",
booktitle = "International Conference on Computer Aided Verification",
publisher = "Springer",

}

TY - GEN

T1 - Efficient decision procedures for model checking of linear time logic properties

AU - Bloem, Roderick Paul

AU - Ravi, K.

AU - Somenzi, F.

N1 - LNCS 1633

PY - 1999

Y1 - 1999

M3 - Conference contribution

SP - 222

EP - 235

BT - International Conference on Computer Aided Verification

PB - Springer

ER -