Blättern nach Person

Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache

Anzahl der Einträge: 2.

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 Sat Dec 21 03:56:37 2024 CET generiert.

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Exportieren als	Atom RSS 1.0 RSS 2.0