| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Automata-based Approach for CTL⋆ With Constraints
|
Gascon, Régis
|
|
2009
|
239 |
C |
p. 193-211
19 p.
|
artikel
|
| 2 |
Automatic Verification of Counter Systems With Ranking Function
|
Encrenaz, Emmanuelle
|
|
2009
|
239 |
C |
p. 85-103
19 p.
|
artikel
|
| 3 |
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
|
Sighireanu, Mihaela
|
|
2009
|
239 |
C |
p. 43-56
14 p.
|
artikel
|
| 4 |
Branching-Time Model-Checking of Probabilistic Pushdown Automata
|
Brázdil, Tomáš
|
|
2009
|
239 |
C |
p. 73-83
11 p.
|
artikel
|
| 5 |
Covering Steps Graphs of Time Petri Nets
|
Boucheneb, Hanifa
|
|
2009
|
239 |
C |
p. 155-165
11 p.
|
artikel
|
| 6 |
Deciding Reachability in Mobile Ambients with Name Restriction
|
Delzanno, Giorgio
|
|
2009
|
239 |
C |
p. 5-15
11 p.
|
artikel
|
| 7 |
Discount-Optimal Infinite Runs in Priced Timed Automata
|
Fahrenberg, Uli
|
|
2009
|
239 |
C |
p. 179-191
13 p.
|
artikel
|
| 8 |
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters
|
Pommereau, Franck
|
|
2009
|
239 |
C |
p. 119-129
11 p.
|
artikel
|
| 9 |
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
|
Fröschle, Sibylle
|
|
2009
|
239 |
C |
p. 17-42
26 p.
|
artikel
|
| 10 |
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
|
Křetínský, Mojmír
|
|
2009
|
239 |
C |
p. 105-117
13 p.
|
artikel
|
| 11 |
Preface
|
Habermehl, P.
|
|
2009
|
239 |
C |
p. 1-3
3 p.
|
artikel
|
| 12 |
Reachability in Timed Counter Systems
|
Bouchy, Florent
|
|
2009
|
239 |
C |
p. 167-178
12 p.
|
artikel
|
| 13 |
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
|
Boichut, Yohan
|
|
2009
|
239 |
C |
p. 57-72
16 p.
|
artikel
|
| 14 |
Universality of R-automata with Value Copying
|
Abdulla, Parosh Aziz
|
|
2009
|
239 |
C |
p. 131-141
11 p.
|
artikel
|
| 15 |
Verifying Multithreaded Recursive Programs with Integer Variables
|
Ben Rajeb, Narjes
|
|
2009
|
239 |
C |
p. 143-154
12 p.
|
artikel
|
Tijdschrift beschrijving