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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Database Approach to Distributed State Space Generation Blom, Stefan
2008
198 1 p. 17-32
16 p.
artikel
2 A Stack-Slicing Algorithm for Multi-Core Model Checking Holzmann, Gerard J.
2008
198 1 p. 3-16
14 p.
artikel
3 Distributed Partial Order Reduction for Security Protocols Torabi Dashti, M.
2008
198 1 p. 93-99
7 p.
artikel
4 Distributed Verification of Multi-threaded C++ Programs Edelkamp, Stefan
2008
198 1 p. 33-46
14 p.
artikel
5 Improved Distributed Algorithms for SCC Decomposition Barnat, Jiří
2008
198 1 p. 63-77
15 p.
artikel
6 Measuring and Evaluating Parallel State-Space Exploration Algorithms Ezekiel, Jonathan
2008
198 1 p. 47-61
15 p.
artikel
7 Preface Černá, Ivana
2008
198 1 p. 1-2
2 p.
artikel
8 Shared Hash Tables in Parallel Model Checking Barnat, Jiří
2008
198 1 p. 79-91
13 p.
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland