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