Treffer: Summary of Dagstuhl Seminar 06172 on Directed Model Checking

Titel:

Beteiligt:

Edelkamp, Stefan

Körperschaft:

Veröffentlicht:

[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2007]

Umfang:

Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Dagstuhl seminar proceedings 06172

Zusatz-Informationen