hh.sePublications
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
Combining Epistemic and Operational Aspects in Compositional Verification of Protocols
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). University of Leicester, Leicester, United Kingdom.ORCID iD: 0000-0002-4869-6794
2017 (English)In: EPTCS 259: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies. Uppsala, Sweden, 29th April 2017 / [ed] Alex Groce & Stefan Leue, Sydney: Open Publishing Association , 2017, Vol. 259, no 259Conference paper, Oral presentation with published abstract (Refereed)
Place, publisher, year, edition, pages
Sydney: Open Publishing Association , 2017. Vol. 259, no 259
Series
Electronic Proceedings in Theoretical Computer Science, E-ISSN 2075-2180 ; 259
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hh:diva-41578DOI: 10.4204/EPTCS.259ISI: 000439358700007OAI: oai:DiVA.org:hh-41578DiVA, id: diva2:1391572
Conference
2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, April 29, 2017, Uppsala, Sweden
Funder
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsAvailable from: 2020-02-05 Created: 2020-02-05 Last updated: 2020-02-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Mousavi, Mohammad Reza

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 4 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