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
Learning to prove safety over parameterised concurrent systems
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
2017 (English)In: Proceedings of the 17th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2017, p. 76-83Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
IEEE, 2017. p. 76-83
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-337299DOI: 10.23919/FMCAD.2017.8102244ISI: 000433173000017ISBN: 978-0-9835678-7-5 (electronic)OAI: oai:DiVA.org:uu-337299DiVA, id: diva2:1168895
Conference
17th Conference On Formal Methods In Computer Aided Design (Fmcad 2017), Vienna, Austria, 2–6 October, 2017.
Funder
Swedish Research Council, 2014-5484Available from: 2017-11-09 Created: 2017-12-21 Last updated: 2018-09-25Bibliographically approved

Open Access in DiVA

fulltext(777 kB)17 downloads
File information
File name FULLTEXT01.pdfFile size 777 kBChecksum SHA-512
d4db38f77b2df5b24a39530316899224d122a34ceb040c407b3d93c4c80c57890ea289c3f5f4b524ccc6ed98de7400a82f11c7febed4f95a8a92349298fd7f9f
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: 17 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: 53 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