|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Adding Data Registers to Parameterized Networks with Broadcast |
Delzanno, Giorgio |
2016 |
143 | 3-4 |
p. 287-316 |
article |
|
| 2 | A New Sandpile Model with Smoothness Assumptions |
Brocchi, Stefano |
2016 |
143 | 3-4 |
p. 261-286 |
article |
|
| 3 | AUTHOR INDEX VOLUME 143 |
Abdulla, Parosh Aziz |
2016 |
143 | 3-4 |
p. 437-438 |
article |
|
| 4 | Branching-Time Model Checking Gap-Order Constraint Systems |
Mayr, Richard |
2016 |
143 | 3-4 |
p. 339-353 |
article |
|
| 5 | Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Arc Multiplicities |
Mayr, Ernst W. |
2016 |
143 | 3-4 |
p. 355-391 |
article |
|
| 6 | Constructing Minimal Coverability Sets |
Piipponen, Artturi |
2016 |
143 | 3-4 |
p. 393-414 |
article |
|
| 7 | Interrupt Timed Automata with Auxiliary Clocks and Parameters* |
Bérard, Beatrice |
2016 |
143 | 3-4 |
p. 235-259 |
article |
|
| 8 | On The Complexity of Counter Reachability Games* |
Reichert, Julien |
2016 |
143 | 3-4 |
p. 415-436 |
article |
|
| 9 | Preface |
Abdulla, Parosh Aziz |
2016 |
143 | 3-4 |
p. i-ii |
article |
|
| 10 | Relating Reachability Problems in Timed and Counter Automata |
Haase, Christoph |
2016 |
143 | 3-4 |
p. 317-338 |
article |
|
| 11 | Robustness of Time Petri Nets under Guard Enlargement |
Akshay, S. |
2016 |
143 | 3-4 |
p. 207-234 |
article |
11 results found