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
Probabilistic Bisimulation for Parameterized Systems: (with Applications to Verifying Anonymous Protocols)
Univ Oxford, Oxford, England.
TU Kaiserslautern, Kaiserslautern, Germany.
Max Planck Inst Software Syst, Kaiserslautern, Germany.
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
2019 (English)In: Computer Aided Verification. CAV 2019., Cham, 2019, Vol. 11561, p. 455-474Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Cham, 2019. Vol. 11561, p. 455-474
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-398241DOI: 10.1007/978-3-030-25540-4_27ISI: 000491468000027ISBN: 978-3-030-25539-8 (print)ISBN: 978-3-030-25540-4 (electronic)OAI: oai:DiVA.org:uu-398241DiVA, id: diva2:1375067
Conference
31st International Conference on Computer-Aided Verification, July 13-18, 2019, New York City, US.
Funder
Swedish Research Council, 2018-04727Swedish Foundation for Strategic Research , RIT17-0011EU, European Research Council, 759969EU, European Research Council, 610150German Research Foundation (DFG), 389792660-TRR 248Available from: 2019-12-04 Created: 2019-12-04 Last updated: 2019-12-06Bibliographically approved

Open Access in DiVA

fulltext(402 kB)8 downloads
File information
File name FULLTEXT01.pdfFile size 402 kBChecksum SHA-512
1a36c8746985659ba5c71d1e30826fb7b3af0702e929947057f18104d56e01daf74c0b8b3cf93b64f8157c97c44240e5713acf7b419cf05fd94f933a6b7b4d80
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: 8 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: 10 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