| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Action Planning for Directed Model Checking of Petri Nets
|
Edelkamp, Stefan
|
|
2006
|
149 |
2 |
p. 3-18
16 p.
|
article
|
| 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.
|
article
|
| 3 |
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
|
Lawesson, Dan
|
|
2006
|
149 |
2 |
p. 139-153
15 p.
|
article
|
| 4 |
Automated Game Analysis via Probabilistic Model Checking: a case study
|
Ballarini, P.
|
|
2006
|
149 |
2 |
p. 125-137
13 p.
|
article
|
| 5 |
Dynamic Incremental Hashing in Program Model Checking
|
Mehler, Tilman
|
|
2006
|
149 |
2 |
p. 51-69
19 p.
|
article
|
| 6 |
Incremental Verification for On-the-Fly Controller Synthesis
|
Musliner, David J.
|
|
2006
|
149 |
2 |
p. 71-90
20 p.
|
article
|
| 7 |
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis
|
Qian, Kairong
|
|
2006
|
149 |
2 |
p. 33-49
17 p.
|
article
|
| 8 |
Model Checking Russian Cards
|
van Ditmarsch, H.P.
|
|
2006
|
149 |
2 |
p. 105-123
19 p.
|
article
|
| 9 |
Preface
|
Pecheur, Charles
|
|
2006
|
149 |
2 |
p. 1-2
2 p.
|
article
|
| 10 |
Relay Reachability Algorithm for Exploring Huge State Space
|
Kwon, Gihwon
|
|
2006
|
149 |
2 |
p. 19-31
13 p.
|
article
|
Journal description