Published February 2, 2021
| Version v1
Other
Open
Appendix to Modal and Symbolic Trace Logic
Authors/Creators
- 1. CISPA Helmholtz Center for Information Security
- 2. TU Darmstadt
Description
This is the online appendix to the paper "Modal and Symbolic Trace Logic" submitted to the Journal of Logic and Algebraic Methods (JLAMP).
Files
mtl-stl-appendix.pdf
Files
(420.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:df3d599be4c39c1271bed54dacb4d798
|
420.2 kB | Preview Download |