|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A lazy approach to symmetry reduction |
Wahl, Thomas |
2009 |
22 | 6 |
p. 713-733 |
article |
|
| 2 | Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s |
Harel, David |
2010 |
22 | 6 |
p. 663-665 |
article |
|
| 3 | Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s |
Harel, David |
|
22 | 6 |
p. 663-665 |
article |
|
| 4 | Inter-process buffers in separation logic with rely-guarantee |
Bornat, Richard |
2010 |
22 | 6 |
p. 735-772 |
article |
|
| 5 | Lower bounds on lengths of checking sequences |
Jourdan, Guy-Vincent |
2009 |
22 | 6 |
p. 667-679 |
article |
|
| 6 | Translating FSP into LOTOS and networks of automata |
Lang, Frédéric |
2009 |
22 | 6 |
p. 681-711 |
article |
6 results found