Talks and Poster Presentations (with Proceedings-Entry):

D. Quinlan, M. Schordan, Q. Yi, A. Saebjornsen:
"Classification and Utilization of Abstractions for Optimization";
Talk: First International Symposium on Leveraging Applications of Formal Methods (ISoLA'04), Paphos, Cyprus; 2004-10-30 - 2004-11-02; in: "Leveraging Applications of Formal Methods", Lecture Notes in Computer Science, Springer Verlag, Volume 4313 (2006), ISBN: 978-3-540-48928-3; 57 - 73.

Created from the Publication Database of the Vienna University of Technology.