|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An assertional proof for a construction of an atomic variable |
Hesselink, Wim H. |
2004 |
16 | 4 |
p. 387-393 |
article |
|
| 2 | Certifying circuits in Type Theory |
Coupet-Grimal, Solange |
2004 |
16 | 4 |
p. 352-373 |
article |
|
| 3 | Complete deterministic stream X-machine testing |
Ipate, Florentin |
2004 |
16 | 4 |
p. 374-386 |
article |
|
| 4 | Performance analysis of probabilistic action systems |
Hallerstede, Stefan |
2004 |
16 | 4 |
p. 313-331 |
article |
|
| 5 | Ramifications of metastability in bit variables explored via Simpson’s 4-slot mechanism |
Paynter, S. E. |
2004 |
16 | 4 |
p. 332-351 |
article |
|
| 6 | Responsiveness of interoperating components |
Reed, J. N. |
2004 |
16 | 4 |
p. 394-411 |
article |
6 results found