| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Computing Permutation Encodings
|
Leino, K. Rustan M.
|
|
1999
|
11 |
1 |
p. 56-74
|
article
|
| 2 |
Computing Permutation Encodings
|
Leino, K. Rustan M.
|
|
1999
|
11 |
1 |
p. 56-74
|
article
|
| 3 |
Probabilistic Duration Calculus for Continuous Time
|
Van Hung, Dang
|
|
1999
|
11 |
1 |
p. 21-44
|
article
|
| 4 |
Probabilistic Duration Calculus for Continuous Time
|
Van Hung, Dang
|
|
1999
|
11 |
1 |
p. 21-44
|
article
|
| 5 |
The Changing Face of Standardization: A Place for Formal Methods?
|
Duce, David
|
|
1999
|
11 |
1 |
p. 1-20
|
article
|
| 6 |
The Changing Face of Standardization: A Place for Formal Methods?
|
Duce, David
|
|
1999
|
11 |
1 |
p. 1-20
|
article
|
| 7 |
The Least Conjunctive Refinement and Promotion in the Refinement Calculus
|
Mahony, Brendan P.
|
|
1999
|
11 |
1 |
p. 75-105
|
article
|
| 8 |
The Least Conjunctive Refinement and Promotion in the Refinement Calculus
|
Mahony, Brendan P.
|
|
1999
|
11 |
1 |
p. 75-105
|
article
|
| 9 |
The Verified Incremental Design of a Distributed Spanning Tree Algorithm: Extended Abstract
|
Hesselink, Wim H.
|
|
1999
|
11 |
1 |
p. 45-55
|
article
|
| 10 |
The Verified Incremental Design of a Distributed Spanning Tree Algorithm: Extended Abstract
|
Hesselink, Wim H.
|
|
1999
|
11 |
1 |
p. 45-55
|
article
|
Journal description