DC Field
Value
Language
dc.contributor.author
Quinlan, Dan
-
dc.contributor.author
Schordan, Markus
-
dc.contributor.author
Yi, Qing
-
dc.contributor.author
Saebjornsen, Andreas
-
dc.contributor.editor
Margaria, Tiziana
-
dc.contributor.editor
Steffen, Bernhard
-
dc.date.accessioned
2022-08-04T10:06:50Z
-
dc.date.available
2022-08-04T10:06:50Z
-
dc.date.issued
2006
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Quinlan, D., Schordan, M., Yi, Q., &#38; Saebjornsen, A. (2006). Classification and Utilization of Abstractions for Optimization. In T. Margaria &#38; B. Steffen (Eds.), <i>Leveraging Applications of Formal Methods. First International Symposium, ISoLA 2004</i> (pp. 57–73). Springer. https://doi.org/10.1007/11925040_5</div> </div>
-
dc.identifier.isbn
978-3-540-48928-3
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/51555
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Classification and Utilization of Abstractions for Optimization
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Leveraging Applications of Formal Methods. First International Symposium, ISoLA 2004
-
dc.contributor.affiliation
Lawrence Livermore National Laboratory, United States of America (the)
-
dc.contributor.affiliation
Lawrence Livermore National Laboratory, United States of America (the)
-
dc.contributor.affiliation
University of Oslo, Norway
-
dc.contributor.editoraffiliation
University of Potsdam, Germany
-
dc.contributor.editoraffiliation
TU Dortmund University, Germany
-
dc.relation.isbn
978-3-540-48929-0
-
dc.relation.doi
10.1007/11925040
-
dc.relation.issn
0302-9743
-
dc.description.startpage
57
-
dc.description.endpage
73
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
Volume 4313
-
tuw.booktitle
Leveraging Applications of Formal Methods. First International Symposium, ISoLA 2004
-
tuw.container.volume
4313
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Volume 4313
-
tuw.book.chapter
5
-
tuw.publication.orgunit
E194-05 - Forschungsbereich Compilers and Languages
-
tuw.publisher.doi
10.1007/11925040_5
-
dc.description.numberOfPages
17
-
tuw.editor.orcid
0000-0002-5547-9739
-
tuw.editor.orcid
0000-0001-9619-1558
-
tuw.event.name
1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04)
-
tuw.event.startdate
30-10-2004
-
tuw.event.enddate
02-11-2004
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Paphos
-
tuw.event.country
CY
-
tuw.event.presenter
Quinlan, Dan
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.presentation.type
science to science/art to art
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openairetype
conference paper
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
crisitem.author.dept
Lawrence Livermore National Laboratory
-
crisitem.author.dept
E185 - Institut für Computersprachen
-
crisitem.author.dept
Lawrence Livermore National Laboratory
-
crisitem.author.dept
University of Oslo
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
Appears in Collections:
Conference Paper
Show simple item record

Page view(s)

378
checked on Nov 23, 2023

Google ScholarTM

Check