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
Publikationen
Publikation: Konferenz/Workshop
The challenge of combining simulation and verification: working groups' report
Grunddaten
Links
Autoren
Einrichtung
Grunddaten
Titel
The challenge of combining simulation and verification: working groups' report
Untertitel
working groups' report
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:11:03
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/31060
Links zu Katalogen
Autoren
Batt, Gregory
Bradley, Jeremy
Ewald, Roland
Fages, Francois
Hermans, Holger
Hillston, Jane
Kemper, Peter
Martens, Alke
Mosterman, Pieter
Nielson, Flemming
Sokolsky, Oleg
Uhrmacher, Adelinde
Externe Links
Beschreibung
Link
Link zur Online-Ressource
http://drops.dagstuhl.de/opus/volltexte/2006/724/pdf/06161.SWM.Paper.724.pdf
Link zur Online-Ressource
http://d-nb.info/991215516/34
Link zur Online-Ressource
http://nbn-resolving.de/urn:nbn:de:0030-drops-7249
Einrichtung
IEF/Bereich Informatik