Zum Inhalt springen Baukus, Kai [Verfasser:in] ; Lakhnech, Yassine [Mitwirkende:r]; de Roever, Willem-Paul [Mitwirkende:r] Abstraction-based verification of parameterized networks Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift via Resolving-System Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. MACAU: Open Access Repository of Kiel University, 2003 Baukus, Kai [Verfasser:in] Abstraction-based verification of parameterized networks Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baukus, Kai [Verfasser:in] ; Lakhnech, Yassine [Mitwirkende:r]; de Roever, Willem-Paul [Mitwirkende:r] Abstraction-based verification of parameterized networks Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift via Resolving-System Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. MACAU: Open Access Repository of Kiel University, 2003
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baukus, Kai [Verfasser:in] Abstraction-based verification of parameterized networks Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Bücher (1) Wert ausschließen Hochschulschriften (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Baukus, Kai (2) Wert ausschließen Lakhnech, Yassine (1) Wert ausschließen de Roever, Willem-Paul (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Diss online (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen zeige weitere weniger zeigen