Non-deterministic Effects in a Realizability Model
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Apr 01, 2018
- Source ID
- 10.1016/j.entcs.2018.03.029
Entities
People
- Niels F.w. Voorneveld
Organizations
- Air Force Materiel Command
- Air Force Office of Scientific Research
- United States Air Force