Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • 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
Systematic predicate abstraction using variable roles
Vienna University of Technology.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Embedded Systems)ORCID iD: 0000-0002-2733-7098
Vienna University of Technology.
2017 (English)In: NASA Formal Methods, Springer, 2017, p. 265-281Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer, 2017. p. 265-281
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10227
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-337296DOI: 10.1007/978-3-319-57288-8_18ISBN: 978-3-319-57287-1 (print)OAI: oai:DiVA.org:uu-337296DiVA, id: diva2:1168891
Conference
NFM 2017, May 16–18, Moffett Field, CA
Funder
Swedish Research Council, 2014-5484Available from: 2017-04-09 Created: 2017-12-21 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(457 kB)18 downloads
File information
File name FULLTEXT01.pdfFile size 457 kBChecksum SHA-512
aa6c2af2c18b3cdd35e8805af8503411631239473926aa9ee6acf9c780c9d1f4d7da9fb16c3a156963f1df313896705ba825519d60972f23f9ef110fb5798444
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Rümmer, Philipp
By organisation
Computer Systems
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 18 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: 23 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • 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