|
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 lazy approach to symmetry reduction |
Wahl, Thomas |
2009 |
22 | 6 |
p. 713-733 |
artikel |
|
| 2 | Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s |
Harel, David |
2010 |
22 | 6 |
p. 663-665 |
artikel |
|
| 3 | Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s |
Harel, David |
|
22 | 6 |
p. 663-665 |
artikel |
|
| 4 | Inter-process buffers in separation logic with rely-guarantee |
Bornat, Richard |
2010 |
22 | 6 |
p. 735-772 |
artikel |
|
| 5 | Lower bounds on lengths of checking sequences |
Jourdan, Guy-Vincent |
2009 |
22 | 6 |
p. 667-679 |
artikel |
|
| 6 | Translating FSP into LOTOS and networks of automata |
Lang, Frédéric |
2009 |
22 | 6 |
p. 681-711 |
artikel |
6 gevonden resultaten