Combining Epistemic and Operational Aspects in Compositional Verification of Protocols 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

Mousavi, Mohammad Reza

Search in DiVA

By author/editor

Mousavi, Mohammad Reza

By organisation

Centre for Research on Embedded Systems (CERES)

On the subject

Computer Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 96 hits