|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An assertional proof for a construction of an atomic variable |
Hesselink, Wim H. |
2004 |
16 | 4 |
p. 387-393 |
artikel |
|
| 2 | Certifying circuits in Type Theory |
Coupet-Grimal, Solange |
2004 |
16 | 4 |
p. 352-373 |
artikel |
|
| 3 | Complete deterministic stream X-machine testing |
Ipate, Florentin |
2004 |
16 | 4 |
p. 374-386 |
artikel |
|
| 4 | Performance analysis of probabilistic action systems |
Hallerstede, Stefan |
2004 |
16 | 4 |
p. 313-331 |
artikel |
|
| 5 | Ramifications of metastability in bit variables explored via Simpson’s 4-slot mechanism |
Paynter, S. E. |
2004 |
16 | 4 |
p. 332-351 |
artikel |
|
| 6 | Responsiveness of interoperating components |
Reed, J. N. |
2004 |
16 | 4 |
p. 394-411 |
artikel |
6 gevonden resultaten