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 contribution

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