nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
|
Popova-Zeugmann, Louchka |
|
2012 |
120 |
3-4 |
p. 341-357 |
artikel |
2 |
A New Translation from ECTL* to SAT
|
Zbrzezny, Andrzej |
|
2012 |
120 |
3-4 |
p. 375-395 |
artikel |
3 |
AUTHOR INDEX VOLUME 120
|
|
|
2012 |
120 |
3-4 |
p. 397-398 |
artikel |
4 |
Cellular Resource-Driven Automata
|
Bashkin, Vladimir A. |
|
2012 |
120 |
3-4 |
p. 243-257 |
artikel |
5 |
Conservative Elementary Object Systems
|
Köhler-Bußmeier, Michael |
|
2012 |
120 |
3-4 |
p. 325-339 |
artikel |
6 |
Greedy Algorithms for Construction of Approximate Tests for Decision Tables with Many-Valued Decisions
|
Azad, Mohammad |
|
2012 |
120 |
3-4 |
p. 231-242 |
artikel |
7 |
Informational Analysis of Security and Integrity
|
Gruska, Damas P. |
|
2012 |
120 |
3-4 |
p. 295-309 |
artikel |
8 |
On Compositionality of Boundedness and Liveness for Nested Petri Nets
|
Dworzański, Leonid W. |
|
2012 |
120 |
3-4 |
p. 275-293 |
artikel |
9 |
On Conditions for Modular Verification in Systems of Synchronising Components
|
Drábik, Peter |
|
2012 |
120 |
3-4 |
p. 259-274 |
artikel |
10 |
Preface
|
Penczek, Wojciech |
|
2012 |
120 |
3-4 |
p. i |
artikel |
11 |
Quantification of Positive and Negative Attacker's Information
|
Gruska, Damas P. |
|
2012 |
120 |
3-4 |
p. 311-324 |
artikel |
12 |
Synthesizing Concurrent Programs Using Answer Set Programming
|
De Angelis, Emanuele |
|
2012 |
120 |
3-4 |
p. 205-229 |
artikel |
13 |
The Impedance Mismatch in Light of the Unified State Model
|
Wiśniewski, Piotr |
|
2012 |
120 |
3-4 |
p. 359-374 |
artikel |