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.