Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar

Sprache
Englisch
Umfang
Online-Ressource
Standort
Deutsche Nationalbibliothek Frankfurt am Main

Klassifikation
Informatik

Beteiligte Personen und Organisationen
Abdulla, Parosh Aziz
Bouajjani, Ahmed
Müller-Olm, Markus
Ereignis
Veröffentlichung
(wo)
[Wadern]
(wer)
[Internat. Begegnungs- und Forschungszentrum für Informatik]
(wann)
[2006]

URN
urn:nbn:de:0030-drops-7997
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:42 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Abdulla, Parosh Aziz
  • Bouajjani, Ahmed
  • Müller-Olm, Markus
  • [Internat. Begegnungs- und Forschungszentrum für Informatik]

Entstanden

  • [2006]

Ähnliche Objekte (12)