Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Sifakis/09"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Component-based construction of heterogeneous real-time systems in BIP Publikation auswählen
Joseph Sifakis

Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)
Lecture Notes in Computer Science 5606 , 2009, pp. 1-1

Editors  Giuliana Franceschinis, Karsten Wolf
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/978-3-642-02424-5_1