BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-191253,
    author = {Puffitsch, Wolfgang and Huber, Benedikt and Schoeberl, Martin},
    title = {Worst-Case Analysis of Heap Allocations},
    booktitle = {Worst-Case Analysis of Heap Allocations},
    year = {2010},
    pages = {464--478},
    publisher = {Lecture Notes in Computer Science},
    address = {6416},
    doi = {10.1007/978-3-642-16561-0{\_}42},
    keywords = {Worst-Case Analysis, Memory Allocation, Real-Time Java},
    note = {talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; 2010-10-18 -- 2010-10-20}
}


1 Datensatz ausgegeben