Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.author
Blieberger, Johann
-
dc.contributor.author
Burgstaller, Bernd
-
dc.contributor.author
Mittermayr, Robert
-
dc.contributor.editor
Abdennadher, Nabil
-
dc.contributor.editor
Kordon, Fabrice
-
dc.date.accessioned
2022-08-04T10:13:10Z
-
dc.date.available
2022-08-04T10:13:10Z
-
dc.date.issued
2007
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Blieberger, J., Burgstaller, B., & Mittermayr, R. (2007). Static Detection of Livelocks in Ada Multitasking Programs. In N. Abdennadher & F. Kordon (Eds.), <i>Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings</i> (pp. 69–83). Springer-Verlag. https://doi.org/10.1007/978-3-540-73230-3_6</div> </div>
-
dc.identifier.isbn
9783540732297
-
dc.identifier.isbn
9783540732303
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/51774
-
dc.language.iso
en
-
dc.publisher
Springer-Verlag
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Static Detection of Livelocks in Ada Multitasking Programs
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.isbn
978-3-540-73229-7
-
dc.relation.doi
10.1007/978-3-540-73230-3
-
dc.relation.issn
0302-9743
-
dc.description.startpage
69
-
dc.description.endpage
83
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
LNCS 4498
-
tuw.booktitle
Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
-
tuw.container.volume
4498
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.publication.orgunit
E191-03 - Forschungsbereich Automation Systems
-
tuw.publisher.doi
10.1007/978-3-540-73230-3_6
-
dc.description.numberOfPages
15
-
tuw.event.name
Reliable Software Technologies - Ada-Europe
-
tuw.event.startdate
10-06-1996
-
tuw.event.enddate
14-06-1996
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Montreux, Switzerland
-
tuw.event.place
Montreux, Switzerland
-
tuw.event.country
AT
-
tuw.event.presenter
Mittermayr, Robert
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.openairetype
Konferenzbeitrag
-
item.openairetype
Inproceedings
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
crisitem.author.orcid
0000-0001-5810-7335
-
Appears in Collections:
Conference Paper
Show simple item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
73
checked on Dec 13, 2022
Google Scholar
TM
Check