Searching for authors named "Arjen Hommersom" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Update Semantics of Security Protocols
- …Update Semantics of Security Protocols Arjen Hommersom (arjenh@(email omitted);) Nijmegen Institute…
- Cited by 3 (0 self) – Add To MetaCart
-
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving
- … ⋆ Arjen Hommersom 1 , Peter Lucas 1 and Michael Balser 2 1 Institute for Computing and Information…
- Cited by 3 (2 self) – Add To MetaCart
-
A constraint-based approach to medical guidelines and protocols
- …A Constraint-based Approach to Medical Guidelines and Protocols Arjen Hommersom and Perry Groot…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 3.
