uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Verification of heap manipulating programs with ordered data by extended forest automata
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Algorithmic Program Verification)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Algorithmic Program Verification)
Show others and affiliations
2013 (English)In: Automated Technology for Verification and Analysis: ATVA 2013, Springer Berlin/Heidelberg, 2013, 224-239 p.Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2013. 224-239 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8172
National Category
Computer Science
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-212135DOI: 10.1007/978-3-319-02444-8_17ISBN: 978-3-319-02443-1 (print)OAI: oai:DiVA.org:uu-212135DiVA: diva2:676498
Conference
ATVA 2013, October 15-18, Hanoi, Vietnam
Projects
ProFuNUPMARC
Funder
Swedish Foundation for Strategic Research
Available from: 2013-12-06 Created: 2013-12-06 Last updated: 2014-04-24Bibliographically approved

Open Access in DiVA

fulltext(595 kB)72 downloads
File information
File name FULLTEXT02.pdfFile size 595 kBChecksum SHA-512
e210ae5ac7008593287248760c827539f245dd7b64fc6167437f5a9b00cb53ca374de6646fe726dec5d7223e0d74af7a796265aa7446f275404ce543e3913c2c
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Abdulla, Parosh AzizHolík, LukásJonsson, BengtTrinh, Cong Quy

Search in DiVA

By author/editor
Abdulla, Parosh AzizHolík, LukásJonsson, BengtTrinh, Cong Quy
By organisation
Computer Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 72 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 514 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf