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
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Projekte
Forschungsprojekt
Verifikationstechniken für Petrinetze auf Multicore-Architektur
Grunddaten
Einrichtung
Person
Förderdaten
Bewilligungen und Ausgaben
Strukturbaum
Grunddaten
Titel
Verifikationstechniken für Petrinetze auf Multicore-Architektur
Antragsdatum
Laufzeit
01.04.2012 – 31.03.2014
Freigabe
Teilweise freigegeben
Bewilligungsdatum
Projektart
Forschungsprojekt
Kostenträgernummer
Personenmonate
Projekt-Homepage
Änderungsdatum
01.04.2014 02:11:36
Zuordnung zu Einrichtungen
IEF/Bereich Informatik
Personen
Prof. Dr. rer. nat. habil. Karsten Wolf
Projektleiter
Förderdaten
Geldgeber/-in
Fkennziffer
DFG - Sachbeihilfen
WO 1466/16-1
Strukturbaum
Das Projekt wurde
1
mal gefunden:
Universität Rostock
Fakultät für Informatik und Elektrotechnik (IEF)
IEF/Bereich Informatik
· · · ·