Record link: 
http://hdl.handle.net/20.500.12708/51555
-
Title: 
Classification and Utilization of Abstractions for Optimization
en
Citation: 
Quinlan, D., Schordan, M., Yi, Q., & Saebjornsen, A. (2006). Classification and Utilization of Abstractions for Optimization. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods. First International Symposium, ISoLA 2004 (pp. 57–73). Springer. https://doi.org/10.1007/11925040_5
-
Publisher DOI: 
10.1007/11925040_5
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Quinlan, Dan 
Schordan, Markus 
Yi, Qing 
Saebjornsen, Andreas 
-
Organisational Unit: 
E194-05 - Forschungsbereich Compilers and Languages 
-
Published in: 
Leveraging Applications of Formal Methods. First International Symposium, ISoLA 2004 
-
ISBN: 
978-3-540-48929-0
-
Volume: 
4313
-
DOI of the book: 
10.1007/11925040
-
Date (published): 
2006
-
Event name: 
1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04) 
-
Event date: 
30-Oct-2004 - 2-Nov-2004
-
Event place: 
Paphos, Cyprus
-
Number of Pages: 
17
-
Publisher: 
Springer, Volume 4313
-
Peer reviewed: 
Yes
-
Science Branch: 
Mathematik, Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

275
checked on Nov 23, 2023

Google ScholarTM

Check