nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A language for configuring multi-level specifications
|
Hill, Gillian |
|
2006 |
351 |
2 |
p. 146-166 21 p. |
artikel |
2 |
Algebras of modal operators and partial correctness
|
Möller, Bernhard |
|
2006 |
351 |
2 |
p. 221-239 19 p. |
artikel |
3 |
Components as coalgebras: The refinement dimension
|
Meng, Sun |
|
2006 |
351 |
2 |
p. 276-294 19 p. |
artikel |
4 |
Extending separation logic with fixpoints and postponed substitution
|
Sims, Élodie-Jane |
|
2006 |
351 |
2 |
p. 258-275 18 p. |
artikel |
5 |
Formal design and verification of operational transformation algorithms for copies convergence
|
Imine, Abdessamad |
|
2006 |
351 |
2 |
p. 167-183 17 p. |
artikel |
6 |
Modelling concurrent interactions
|
Küster-Filipe, Juliana |
|
2006 |
351 |
2 |
p. 203-220 18 p. |
artikel |
7 |
Preface
|
Maharaj, Savi |
|
2006 |
351 |
2 |
p. 129-130 2 p. |
artikel |
8 |
Semantics of plan revision in intelligent agents
|
van Riemsdijk, M. Birna |
|
2006 |
351 |
2 |
p. 240-257 18 p. |
artikel |
9 |
Specification and refinement of mobile systems in MTLA and mobile UML
|
Knapp, Alexander |
|
2006 |
351 |
2 |
p. 184-202 19 p. |
artikel |
10 |
State space reduction for process algebra specifications
|
Garavel, Hubert |
|
2006 |
351 |
2 |
p. 131-145 15 p. |
artikel |