RD
Riaan de Beer
8
Publications
126
Citations
4
h-index
3
i10-index
Loading papers...
Search by keywords
Filter by Type
- Preprint (8)
Filter by Open Access Type
- Open Access (0)
- Closed Access (8)
Filter by Authors
- Riaan de Beer (8)
Filter by Topics
- Formal Methods in Verification (4)
- Distributed systems and fault tolerance (4)
- Philosophy and Theoretical Science (2)
- Software Testing and Debugging Techniques (2)
- Logic, Reasoning, and Knowledge (2)