|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Behavioural Pseudometric based on λ–Bisimilarity |
Zhang, Jinjin |
2008 |
220 | 3 |
p. 115-127 13 p. |
artikel |
|
| 2 | Branching Bisimulation Congruence for Probabilistic Systems |
Trčka, Nikola |
2008 |
220 | 3 |
p. 129-143 15 p. |
artikel |
|
| 3 | Game-Based Probabilistic Predicate Abstraction in PRISM |
Kattenbelt, Mark |
2008 |
220 | 3 |
p. 5-21 17 p. |
artikel |
|
| 4 | Model Checking Quantitative Linear Time Logic |
Faella, Marco |
2008 |
220 | 3 |
p. 61-77 17 p. |
artikel |
|
| 5 | Modelling Intracellular Fate of FGF Receptors With BioAmbients |
van Bakel, S. |
2008 |
220 | 3 |
p. 181-197 17 p. |
artikel |
|
| 6 | On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation |
Bortolussi, Luca |
2008 |
220 | 3 |
p. 163-180 18 p. |
artikel |
|
| 7 | Oracle-Based Partial Evaluation |
Ochoa, Claudio |
2008 |
220 | 3 |
p. 145-161 17 p. |
artikel |
|
| 8 | Platform Independent Timing of Java Virtual Machine Bytecode Instructions |
Lambert, Jonathan M. |
2008 |
220 | 3 |
p. 97-113 17 p. |
artikel |
|
| 9 | Preface |
Aldini, Alessandro |
2008 |
220 | 3 |
p. 1-3 3 p. |
artikel |
|
| 10 | Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions |
Smith, Michael J.A. |
2008 |
220 | 3 |
p. 43-59 17 p. |
artikel |
|
| 11 | Probabilistic Logic over Paths |
Tzanis, Evan |
2008 |
220 | 3 |
p. 79-96 18 p. |
artikel |
|
| 12 | Relational Analysis and Precision via Probabilistic Abstract Interpretation |
Di Pierro, Alessandra |
2008 |
220 | 3 |
p. 23-42 20 p. |
artikel |
12 gevonden resultaten