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
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Action Planning for Directed Model Checking of Petri Nets Edelkamp, Stefan
2006
149 2 p. 3-18
16 p.
artikel
2 Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress) Kerjean, Sylvain
2006
149 2 p. 91-104
14 p.
artikel
3 An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems Lawesson, Dan
2006
149 2 p. 139-153
15 p.
artikel
4 Automated Game Analysis via Probabilistic Model Checking: a case study Ballarini, P.
2006
149 2 p. 125-137
13 p.
artikel
5 Dynamic Incremental Hashing in Program Model Checking Mehler, Tilman
2006
149 2 p. 51-69
19 p.
artikel
6 Incremental Verification for On-the-Fly Controller Synthesis Musliner, David J.
2006
149 2 p. 71-90
20 p.
artikel
7 Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis Qian, Kairong
2006
149 2 p. 33-49
17 p.
artikel
8 Model Checking Russian Cards van Ditmarsch, H.P.
2006
149 2 p. 105-123
19 p.
artikel
9 Preface Pecheur, Charles
2006
149 2 p. 1-2
2 p.
artikel
10 Relay Reachability Algorithm for Exploring Huge State Space Kwon, Gihwon
2006
149 2 p. 19-31
13 p.
artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland