![](/img/cover-not-exists.png)
Subset Reasoning for Event-Based Systems
Bonte, Pieter, Ongenae, Femke, De Turck, FilipVolume:
7
Year:
2019
Language:
english
Journal:
IEEE Access
DOI:
10.1109/ACCESS.2019.2932937
File:
PDF, 6.26 MB
english, 2019