|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| 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 |
13 gevonden resultaten