| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Ambiguity and structural ambiguity of symmetric difference NFAs
|
van der Merwe, A.B.
|
|
2014
|
537 |
C |
p. 97-104
8 p.
|
artikel
|
| 2 |
Axiomatizing weak simulation semantics over BCCSP
|
Aceto, Luca
|
|
2014
|
537 |
C |
p. 42-71
30 p.
|
artikel
|
| 3 |
Characterization, definability and separation via saturated models
|
Areces, Carlos
|
|
2014
|
537 |
C |
p. 72-86
15 p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
2014
|
537 |
C |
p. iii-ix
nvt p.
|
artikel
|
| 5 |
On some derivation mechanisms and the complexity of their Szilard languages
|
Cojocaru, Liliana
|
|
2014
|
537 |
C |
p. 87-96
10 p.
|
artikel
|
| 6 |
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
|
Byg, Joakim
|
|
2014
|
537 |
C |
p. 3-28
26 p.
|
artikel
|
| 7 |
Theoretical Aspects of Computing (ICTAC 2011)
|
Cerone, Antonio
|
|
2014
|
537 |
C |
p. 1-2
2 p.
|
artikel
|
| 8 |
Topology, monitorable properties and runtime verification
|
Diekert, Volker
|
|
2014
|
537 |
C |
p. 29-41
13 p.
|
artikel
|
| 9 |
Towards a generic view of primality through multiset decompositions of natural numbers
|
Tarau, Paul
|
|
2014
|
537 |
C |
p. 105-124
20 p.
|
artikel
|
Tijdschrift beschrijving