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 suchen
Aktiv:
Publikation
Autoren
Einrichtungen
Abstract
Externe Dokumente
Links
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013 ( Konferenz/Workshop )
Details ansehen
Hinweis
Diese Publikation wurde von der Universitätsbibliothek verifiziert. Sie kann nur noch teilweise bearbeitet werden.
Bearbeiten
*
Konferenztitel
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013
Sprache
*
Erscheinungsjahr
von Seite
bis Seite
Seitenzahl
*
Verlag
Universität Rostock
Verlagsort
Band
Institution
Heft-Nr.
Monat
Serie
Organisator
*
Publikationsform
Publikationsart
ISBN
DOI
Tagungsname
Tagungsort
Tagungsdatum
Änderungsdatum