Searching for authors named "Henry DeYoung" – sorted by Relevance.
-
An Authorization Logic with Explicit Time
- An Authorization Logic with Explicit Time ∗ Henry DeYoung Deepak Garg Frank Pfenning Abstract We
- Cited by 4 (2 self) – Add To MetaCart

