Zum Inhalt springen Fahrenberg, Uli [Herausgeber:in]; Tripakis, Stavros [Herausgeber:in] ; FORMATS 9 2011, °Alborg Alborg Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6919 Fränzle, Martin [Herausgeber:in]; Markey, Nicolas [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 9884 Legay, Axel [Verfasser:in] ; Bozga, Marius [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham [u.a.]: Springer, 2014 Erschienen in: Lecture notes in computer science ; 8711 Braberman, Víctor [Verfasser:in] ; Fribourg, Laurent [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2013 Erschienen in: Lecture notes in computer science ; 8053 Sankaranarayanan, Sriram [Herausgeber:in]; Vicario, Enrico [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - [1st ed. 2015] Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham [u.a.]: Springer, 2015 Erschienen in: Lecture notes in computer science ; 9268 Jurdziński, Marcin [Verfasser:in] ; Ničković, Dejan [Sonstige Person, Familie und Körperschaft] Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2012 Erschienen in: Lecture notes in computer science ; 7595 Fahrenberg, Uli [Verfasser:in] ; Tripakis, Stavros [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 6919
Fahrenberg, Uli [Herausgeber:in]; Tripakis, Stavros [Herausgeber:in] ; FORMATS 9 2011, °Alborg Alborg Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6919
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Fränzle, Martin [Herausgeber:in]; Markey, Nicolas [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 9884
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Legay, Axel [Verfasser:in] ; Bozga, Marius [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham [u.a.]: Springer, 2014 Erschienen in: Lecture notes in computer science ; 8711
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Braberman, Víctor [Verfasser:in] ; Fribourg, Laurent [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2013 Erschienen in: Lecture notes in computer science ; 8053
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sankaranarayanan, Sriram [Herausgeber:in]; Vicario, Enrico [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - [1st ed. 2015] Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham [u.a.]: Springer, 2015 Erschienen in: Lecture notes in computer science ; 9268
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Jurdziński, Marcin [Verfasser:in] ; Ničković, Dejan [Sonstige Person, Familie und Körperschaft] Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2012 Erschienen in: Lecture notes in computer science ; 7595
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Fahrenberg, Uli [Verfasser:in] ; Tripakis, Stavros [Herausgeber:in] Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 6919
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (7) Wert ausschließen Mathematik (6) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Fahrenberg, Uli (2) Wert ausschließen Tripakis, Stavros (2) Wert ausschließen Bozga, Marius (1) Wert ausschließen Braberman, Víctor (1) Wert ausschließen FORMATS 9 2011, °Alborg Alborg (1) Wert ausschließen Fribourg, Laurent (1) Wert ausschließen Fränzle, Martin (1) Wert ausschließen Jurdziński, Marcin (1) Wert ausschließen Legay, Axel (1) Wert ausschließen Markey, Nicolas (1) Wert ausschließen Ničković, Dejan (1) Wert ausschließen Sankaranarayanan, Sriram (1) Wert ausschließen Vicario, Enrico (1) Wert ausschließen zeige weitere weniger zeigen