|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps |
Czaja, Ludwik |
2018 |
157 | 4 |
p. 359-370 |
article |
|
| 2 | Author Index Volume 157 |
Czaja, Ludwik |
2018 |
157 | 4 |
p. 477-478 |
article |
|
| 3 | Computing Bisimulation-Based Comparisons |
Nguyen, Linh Anh |
2018 |
157 | 4 |
p. 385-401 |
article |
|
| 4 | Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking |
Rataj, Artur |
2018 |
157 | 4 |
p. 443-461 |
article |
|
| 5 | Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets |
Pelz, Elisabeth |
2018 |
157 | 4 |
p. 427-442 |
article |
|
| 6 | Reversing Transitions in Bounded Petri Nets |
Barylska, Kamila |
2018 |
157 | 4 |
p. 341-357 |
article |
|
| 7 | Rough Sets and Sorites Paradox |
Jankowski, Andrzej |
2018 |
157 | 4 |
p. 371-384 |
article |
|
| 8 | Superposition Principle in Composable Hybrid Automata |
Akhundov, Jafar |
2018 |
157 | 4 |
p. 321-339 |
article |
|
| 9 | TripICS - a Web Service Composition System for Planning Trips and Travels |
Niewiadomski, Artur |
2018 |
157 | 4 |
p. 403-425 |
article |
|
| 10 | Trying to Understand PEG |
Redziejowski, Roman R. |
2018 |
157 | 4 |
p. 463-475 |
article |
10 results found