|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Automated verification and refinement for physical-layer protocols |
Brown, Geoffrey M. |
2010 |
23 | 3 |
p. 243-266 |
article |
|
| 2 | Elucidating concurrent algorithms via layers of abstraction and reification |
Jones, Cliff B. |
2010 |
23 | 3 |
p. 289-306 |
article |
|
| 3 | Model checking with bounded context switching |
Holzmann, Gerard J. |
2010 |
23 | 3 |
p. 365-389 |
article |
|
| 4 | Partial order semantics for use case and task models |
Sinnig, Daniel |
2010 |
23 | 3 |
p. 307-332 |
article |
|
| 5 | Soundness of workflow nets: classification, decidability, and analysis |
Aalst, W. M. P. van der |
2010 |
23 | 3 |
p. 333-363 |
article |
|
| 6 | The dynamic frames theory |
Kassios, I. T. |
2010 |
23 | 3 |
p. 267-288 |
article |
|
| 7 | The Humble Humorous Researcher: A Tribute to Michel Sintzoff |
Lamsweerde, Axel van |
2011 |
23 | 3 |
p. 239-242 |
article |
|
| 8 | The Humble Humorous Researcher: A Tribute to Michel Sintzoff |
van Lamsweerde, Axel |
|
23 | 3 |
p. 239-242 |
article |
8 results found