|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formalisation of the copy-modify-merge approach to version control in MDE |
Rossini, Alessandro |
2010 |
79 | 7 |
p. 636-658 23 p. |
artikel |
|
| 2 | Characterizing and proving operational termination of deterministic conditional term rewriting systems |
Schernhammer, Felix |
2010 |
79 | 7 |
p. 659-688 30 p. |
artikel |
|
| 3 | Composing model programs for analysis |
Veanes, Margus |
2010 |
79 | 7 |
p. 467-482 16 p. |
artikel |
|
| 4 | Contents |
2010 |
79 | 7 |
p. v- 1 p. |
artikel |
||
| 5 | Eager and delayed contract monitoring for call-by-value and call-by-name evaluation |
Degen, Markus |
2010 |
79 | 7 |
p. 515-549 35 p. |
artikel |
|
| 6 | Editorial Board |
2010 |
79 | 7 |
p. IFC- 1 p. |
artikel |
||
| 7 | Engineering constraint solvers for automatic analysis of probabilistic hybrid automata |
Fränzle, Martin |
2010 |
79 | 7 |
p. 436-466 31 p. |
artikel |
|
| 8 | Guest Editors’ Foreword |
Uustalu, Tarmo |
2010 |
79 | 7 |
p. 435- 1 p. |
artikel |
|
| 9 | Lazy behavioral subtyping |
Dovland, Johan |
2010 |
79 | 7 |
p. 578-607 30 p. |
artikel |
|
| 10 | Quantitative analysis of weighted transition systems |
Thrane, Claus |
2010 |
79 | 7 |
p. 689-703 15 p. |
artikel |
|
| 11 | Relational bytecode correlations |
Beringer, Lennart |
2010 |
79 | 7 |
p. 483-514 32 p. |
artikel |
|
| 12 | Synchronous Kleene algebra |
Prisacariu, Cristian |
2010 |
79 | 7 |
p. 608-635 28 p. |
artikel |
|
| 13 | Termination in higher-order concurrent calculi |
Demangeon, Romain |
2010 |
79 | 7 |
p. 550-577 28 p. |
artikel |
13 gevonden resultaten