| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A calculus of concurrent graph-rewriting processes
|
Kulcsár, Géza
|
|
|
110 |
C |
p.
|
artikel
|
| 2 |
A linear-time–branching-time spectrum for behavioral specification theories
|
Fahrenberg, Uli
|
|
|
110 |
C |
p.
|
artikel
|
| 3 |
A partial evaluation framework for order-sorted equational programs modulo axioms
|
Alpuente, M.
|
|
|
110 |
C |
p.
|
artikel
|
| 4 |
Combining free choice and time in Petri nets
|
Akshay, S.
|
|
|
110 |
C |
p.
|
artikel
|
| 5 |
Consistency in Parametric Interval Probabilistic Timed Automata
|
André, Étienne
|
|
|
110 |
C |
p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
|
110 |
C |
p.
|
artikel
|
| 7 |
Generalized rewrite theories, coherence completion, and symbolic methods
|
Meseguer, José
|
|
|
110 |
C |
p.
|
artikel
|
| 8 |
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
|
Henrio, Ludovic
|
|
|
110 |
C |
p.
|
artikel
|
| 9 |
Model checking for hybrid branching-time logics
|
Kernberger, Daniel
|
|
|
110 |
C |
p.
|
artikel
|
| 10 |
Partial predicate abstraction and counter-example guided refinement
|
Yavuz, Tuba
|
|
|
110 |
C |
p.
|
artikel
|
| 11 |
Programming and symbolic computation in Maude
|
Durán, Francisco
|
|
|
110 |
C |
p.
|
artikel
|
Tijdschrift beschrijving