Efficient decision procedures for model checking of linear time logic properties

Roderick Paul Bloem, K. Ravi, F. Somenzi

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelInternational Conference on Computer Aided Verification
Herausgeber (Verlag)Springer
Seiten222-235
PublikationsstatusVeröffentlicht - 1999
VeranstaltungInternational Conference on Computer Aided Verification - Trento, Italien
Dauer: 7 Jul 199910 Jul 1999

Konferenz

KonferenzInternational Conference on Computer Aided Verification
LandItalien
OrtTrento
Zeitraum7/07/9910/07/99

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren