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
Liveness of randomised parameterised systems under arbitrary schedulers
Yale NUS Coll, Singapore, Singapore.
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
2016 (English)In: Computer Aided Verification: Part II, Springer, 2016, p. 112-133Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer, 2016. p. 112-133
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9780
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-309990DOI: 10.1007/978-3-319-41540-6_7ISI: 000387731400007ISBN: 9783319415390 (print)ISBN: 9783319415406 (print)OAI: oai:DiVA.org:uu-309990DiVA, id: diva2:1054691
Conference
CAV 2016, July 17–23, Toronto, Canada
Projects
UPMARC
Funder
Swedish Research Council, 2014-5484
Available from: 2016-07-13 Created: 2016-12-08 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(306 kB)35 downloads
File information
File name FULLTEXT01.pdfFile size 306 kBChecksum SHA-512
8e09de84360b4aca44df22d8f52c35108ab6dfa83e0b2ccc235acc9f02b4a7055e7a7b78aef72dc3f507ccf9541fd25ab6b6011331cb66d107bd7a0e2004f0b5
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: 35 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: 339 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