TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Konferenzveröffentlichung

Hrsg.: Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (2008)
Special Issue on Formal Modeling and Verification of Critical Systems.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (2008)
Special Issue on Formal Modeling and Verification of Critical Systems.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 03:00:20 2024 CET generiert.