Model checking protocol implementations: A new adaptation-based approach
type: CreativeWork
author: Slob, F.
language: English
date published: 2021-3
date modified: 2026-07-24T03:38:26Z
provider: Open Universiteit
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: Open Universiteit