|
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 | A Basic Logic for Reasoning about Connector Reconfiguration |
Clarke, Dave |
2008 |
82 | 4 |
p. 361-390 |
artikel |
|
| 2 | A Deductive Proof System for Multithreaded Java with Exceptions |
Ábrahám, Erika |
2008 |
82 | 4 |
p. 391-463 |
artikel |
|
| 3 | Behavior of Composed Concurrent Systems: Logic and Reasoning |
2008 |
82 | 4 |
p. i |
artikel |
||
| 4 | Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation |
Stehr, Mark-Oliver |
2008 |
82 | 4 |
p. 311-340 |
artikel |
|
| 5 | Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata |
Esmaeilsabzali, Shahram |
2008 |
82 | 4 |
p. 465-512 |
artikel |
|
| 6 | Validating Behavioral Component Interfaces in Rewriting Logic |
Johnsen, Einar Broch |
2008 |
82 | 4 |
p. 341-359 |
artikel |
6 gevonden resultaten