|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An inductive approach to strand spaces |
Li, Yongjian |
2011 |
25 | 4 |
p. 465-501 |
artikel |
|
| 2 | HYPE: Hybrid modelling by composition of flows |
Galpin, Vashti |
2011 |
25 | 4 |
p. 503-541 |
artikel |
|
| 3 | The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits |
Banach, Richard |
2011 |
25 | 4 |
p. 573-607 |
artikel |
|
| 4 | The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits |
Banach, Richard |
2011 |
25 | 4 |
p. 609-657 |
artikel |
|
| 5 | Threaded behavior protocols |
Poch, Tomáš |
2011 |
25 | 4 |
p. 543-572 |
artikel |
5 gevonden resultaten