English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

From Verification to Causality-Based Explications (Invited Talk)

MPS-Authors
/persons/resource/persons144534

Majumdar,  Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

LIPIcs-ICALP-2021-1.pdf
(Publisher version), 712KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Majumdar, R., Piribauer, J., et al. (2021). From Verification to Causality-Based Explications (Invited Talk). In N. Bansal, E. Merelli, & J. Worrell (Eds.), 48th International Colloquium on Automata, Languages, and Programming (pp. 1-20). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2021.1.


Cite as: https://hdl.handle.net/21.11116/0000-0009-5525-E
Abstract
There is no abstract available