Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is S and Author is M. N. Rabe [Clear All Filters]
, “A shallow embedding of HyperCTL”, Archive of Formal Proofs, 2014.
Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496
]