2 |
| Carlucci-Aiello, Luigia (ed.) |
| |
1 |
| Cassandras, Christos (ed.) |
| |
| | 2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | [Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio] | | Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | Proceedings Article | |
| | 2006 | [Meyer, Roland]
[Faber, Johannes]
Rybalchenko, Andrey | [Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio] | | Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | Proceedings Article | |
1 |
| Cialdea Mayer, Marta (ed.) |
| |