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
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikation: Konferenz/Workshop
Simulation and verification of dynamic systems: 06161 abstracts collection
Grunddaten
Links
Autoren
Einrichtung
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
Autoren
Nicol, David M.
Priami, Corrado
Riis-Nielson, Hanne
Uhrmacher, Adelinde
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