Media type: E-Book; Thesis Title: Exploring the limits of parameterized system verification Contributor: Stahl, Karsten [Author] Extent: Online-Ressource Language: English Identifier: Keywords: Parametrisiertes System > Verifikation > Entscheidbarkeit > Model Checking > Lebendigkeit > Abstraktion Origination: University thesis: Kiel, Univ., Diss., 2003 Footnote: Access State: Open Access