1 |
| Zaha, Johannes Maria (ed.) |
| |
2 |
| Zakharyaschev, Michael (ed.) |
| |
1 |
| Zilberstein, Shlomo (ed.) |
| |
| | 2005 | [Pnueli, Amir]
Podelski, Andreas
Rybalchenko, Andrey | [Halbwachs, Nicolas]
[Zuck, Lenore] | | Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 124-139 | Proceedings Article | |
| | 2003 | Podelski, Andreas | [Zuck, Lenore]
[Attie, Paul]
[Cortesi, Agostino]
[Mukhopadhyay, Supratik] | | Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13 | Proceedings Article | |