|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstraction and Probabilities for Hybrid Logics |
Huth, Michael |
2005 |
112 | C |
p. 61-76 16 p. |
artikel |
|
| 2 | Abstract Model Checking of tccp programs |
Alpuente, María |
2005 |
112 | C |
p. 19-36 18 p. |
artikel |
|
| 3 | Automatic Analysis of a Non-Repudiation Protocol |
Lanotte, Ruggero |
2005 |
112 | C |
p. 113-129 17 p. |
artikel |
|
| 4 | λ-calculus and Quantitative Program Analysis |
Hankin, Chris |
2005 |
112 | C |
p. 5-18 14 p. |
artikel |
|
| 5 | On Quantitative Analysis of Probabilistic Protocols |
Aldini, Alessandro |
2005 |
112 | C |
p. 131-148 18 p. |
artikel |
|
| 6 | Performance Evaluation of Security Protocols Specified in LySa |
Bodei, Chiara |
2005 |
112 | C |
p. 167-189 23 p. |
artikel |
|
| 7 | Preface |
Cerone, Antonio |
2005 |
112 | C |
p. 1-3 3 p. |
artikel |
|
| 8 | Probabilistic Guarded Commands Mechanized in HOL |
Hurd, Joe |
2005 |
112 | C |
p. 95-111 17 p. |
artikel |
|
| 9 | Quantified Interference for a While Language |
Clark, David |
2005 |
112 | C |
p. 149-166 18 p. |
artikel |
|
| 10 | Quantitative μ-calculus and CTL Based on Constraint Semirings |
Lluch-Lafuente, Alberto |
2005 |
112 | C |
p. 37-59 23 p. |
artikel |
|
| 11 | Tarzan: Communicating and Moving in Wireless Jungles |
Tuosto, Emilio |
2005 |
112 | C |
p. 77-94 18 p. |
artikel |
11 gevonden resultaten