Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Springe zu: Zeitschriftenartikel | Arbeitspapier
Anzahl der Einträge: 2.

Zeitschriftenartikel

Mantel, Heiko ; Freiling, Felix (2000) A case study in the mechanical verification of fault tolerance. Journal of Experimental & Theoretical Artificial Intelligence : JETAI London [u.a.] 12 4 473-488 [Zeitschriftenartikel]

Arbeitspapier

Mantel, Heiko ; Freiling, Felix (1999) A case study in the mechanical verification of fault tolerance. Technical report TUD-BS Darmstadt 99-08 [Arbeitspapier]

Diese Liste wurde am Sun Dec 22 01:50:14 2024 CET automatisch erstellt.