|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A CSP model of Eiffel’s SCOOP |
Brooke, Phillip J. |
2007 |
19 | 4 |
p. 487-512 |
article |
|
| 2 | An approach to formal verification of human–computer interaction |
Curzon, Paul |
2007 |
19 | 4 |
p. 513-550 |
article |
|
| 3 | Deciding orthogonal bisimulation |
Vu, Thuy Duong |
2007 |
19 | 4 |
p. 475-485 |
article |
|
| 4 | Editorial |
Jones, Cliff |
2007 |
19 | 4 |
p. 415-416 |
article |
|
| 5 | Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences |
Collinson, Matthew |
2007 |
19 | 4 |
p. 551-554 |
article |
|
| 6 | Minimal refinements of specifications in modal and temporal logics |
Gorogiannis, Nikos |
2007 |
19 | 4 |
p. 417-444 |
article |
|
| 7 | Thread algebra for strategic interleaving |
Bergstra, J. A. |
2007 |
19 | 4 |
p. 445-474 |
article |
7 results found