Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is A and Author is Markus Rabe [Clear All Filters]
, “Algorithms for Model Checking HyperLTL and HyperCTL*”, in Proceedings of the 27th International Conference on Computer Aided Verification (CAV), 2015.