Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstract Regular Tree Model Checking Bouajjani, Ahmed
2006
149 1 p. 37-48
12 p.
artikel
2 Algorithmic Algebraic Model Checking III: Approximate Methods Mysore, Venkatesh
2006
149 1 p. 61-77
17 p.
artikel
3 Automatic Verification of Fault-Tolerant Register Emulations Attie, Paul C.
2006
149 1 p. 49-60
12 p.
artikel
4 Liveness Checking as Safety Checking for Infinite State Spaces Schuppan, Viktor
2006
149 1 p. 79-96
18 p.
artikel
5 Methods for Quantitative Analysis of Probabilistic Pushdown Automata Kučera, Antonín
2006
149 1 p. 3-15
13 p.
artikel
6 Preface Srba, Jiří
2006
149 1 p. 1-2
2 p.
artikel
7 Refining the Undecidability Border of Weak Bisimilarity Křetínský, Mojmír
2006
149 1 p. 17-36
20 p.
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland