Items where authors include "Podelski, A."

Proceedings Paper

Dimitrova, R. and Podelski, A. (2008) Is lazy abstraction a decision procedure for broadcast protocols? In: Logozzo, F., Peled, D.A. and Zuck, L.D., (eds.) Verification, Model Checking, and Abstract Interpretation - VMCAI 2008. Verification, Model Checking, and Abstract Interpretation - VMCAI 2008, 07-09 Jan 2008, San Francisco, USA. Lecture Notes in Computer Science (4905). Springer , pp. 98-111. ISBN 9783540781622