Zum Inhalt springen Bultan, Tevfik [HerausgeberIn]; Hsiung, Pao-Ann [Sonstige Person, Familie und Körperschaft] ; ATVA 9 2011 Taipeh Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings Bücher 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 ; 6996 Cassez, Franck [VerfasserIn] ; Raskin, Jean-François [HerausgeberIn] Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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 ; 8837 Bultan, Tevfik [VerfasserIn] ; Hsiung, Pao-Ann [Sonstige Person, Familie und Körperschaft] Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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 ; 6996
Bultan, Tevfik [HerausgeberIn]; Hsiung, Pao-Ann [Sonstige Person, Familie und Körperschaft] ; ATVA 9 2011 Taipeh Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings Bücher 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 ; 6996
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cassez, Franck [VerfasserIn] ; Raskin, Jean-François [HerausgeberIn] Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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 ; 8837
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bultan, Tevfik [VerfasserIn] ; Hsiung, Pao-Ann [Sonstige Person, Familie und Körperschaft] Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen 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 ; 6996
> 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 (1) Wert ausschließen Mathematik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Bultan, Tevfik (2) Wert ausschließen Hsiung, Pao-Ann (2) Wert ausschließen ATVA 9 2011 Taipeh (1) Wert ausschließen Cassez, Franck (1) Wert ausschließen Raskin, Jean-François (1) Wert ausschließen zeige weitere weniger zeigen