Ihr Suchergebnis

Home | Suche | Browsen

Nr. Titel Autor Jahr
1 Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata Krause, Christian et al. 2012
Aktuelle Seite:
Anzahl der Ergebnisseiten: 1
Anzahl der Dokumente: 1


Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
Ihr Kontakt für Fragen und Anregungen:
Universitätsbibliothek Potsdam
powered by OPUS  Hosted by KOBV  Open
Archives Initiative  DINI Zertifikat 2007  OA Netzwerk