Talks and Poster Presentations (with Proceedings-Entry):
P. Chauhan, E. Clarke, J. Kukula, S. Sapra, H. Veith, D. Wang:
"Automated Abstraction Refinement for Model Checking Large State Spaces using SAT based Conflict Analysis";
Talk: Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD2002),
Portland, Oregon, USA (invited);
2002-11-06
- 2002-11-08; in: "Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design",
M. Aagaard, J. OŽLeary (ed.);
Springer/LNCS,
2517
(2002),
ISBN: 3-540-00116-6;
33
- 51.
Electronic version of the publication:
http://link.springer.de/link/service/series/0558/papers/2517/25170052.pdf
Created from the Publication Database of the Vienna University of Technology.