Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Publikation: Konferenz/Workshop

Simulation and verification of dynamic systems: 06161 abstracts collection


Grunddaten

Titel Simulation and verification of dynamic systems: 06161 abstracts collection
Untertitel 06161 abstracts collection ; Dagstuhl seminar
Erscheinungsjahr 2006
Verlag [Internat. Begegnungs- und Forschungszentrum für Informatik]
Verlagsort [Wadern]
Serie Dagstuhl seminar proceedings 06161
Publikationsform Elektronische Ressource
Publikationsart Konferenz/Workshop
Sprache Englisch
Letzte Änderung 17.05.2019 14:15:53
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/37435
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

Nicol, David M.
Priami, Corrado
Riis-Nielson, Hanne
Uhrmacher, Adelinde Link zur UB Rostock Link zum GBV-Katalog

Externe Links

Beschreibung Link
Link zur Online-Ressource http://drops.dagstuhl.de/opus/volltexte/2006/710/pdf/06161_abstracts_collection.710.pdf
Link zur Online-Ressource http://d-nb.info/991215818/34
Link zur Online-Ressource http://nbn-resolving.de/urn:nbn:de:0030-drops-7102

Einrichtung

IEF/Bereich Informatik