| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Computing Permutation Encodings
|
Leino, K. Rustan M.
|
|
1999
|
11 |
1 |
p. 56-74
|
artikel
|
| 2 |
Computing Permutation Encodings
|
Leino, K. Rustan M.
|
|
1999
|
11 |
1 |
p. 56-74
|
artikel
|
| 3 |
Probabilistic Duration Calculus for Continuous Time
|
Van Hung, Dang
|
|
1999
|
11 |
1 |
p. 21-44
|
artikel
|
| 4 |
Probabilistic Duration Calculus for Continuous Time
|
Van Hung, Dang
|
|
1999
|
11 |
1 |
p. 21-44
|
artikel
|
| 5 |
The Changing Face of Standardization: A Place for Formal Methods?
|
Duce, David
|
|
1999
|
11 |
1 |
p. 1-20
|
artikel
|
| 6 |
The Changing Face of Standardization: A Place for Formal Methods?
|
Duce, David
|
|
1999
|
11 |
1 |
p. 1-20
|
artikel
|
| 7 |
The Least Conjunctive Refinement and Promotion in the Refinement Calculus
|
Mahony, Brendan P.
|
|
1999
|
11 |
1 |
p. 75-105
|
artikel
|
| 8 |
The Least Conjunctive Refinement and Promotion in the Refinement Calculus
|
Mahony, Brendan P.
|
|
1999
|
11 |
1 |
p. 75-105
|
artikel
|
| 9 |
The Verified Incremental Design of a Distributed Spanning Tree Algorithm: Extended Abstract
|
Hesselink, Wim H.
|
|
1999
|
11 |
1 |
p. 45-55
|
artikel
|
| 10 |
The Verified Incremental Design of a Distributed Spanning Tree Algorithm: Extended Abstract
|
Hesselink, Wim H.
|
|
1999
|
11 |
1 |
p. 45-55
|
artikel
|
Tijdschrift beschrijving