Model checking protocol implementations: A new adaptation-based approach

Slob, F.

Back to results

Open Universiteit

Model checking protocol implementations: A new adaptation-based approach

dc:creator Slob, F.

dc:date2021

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Slob, F.

Rights

Language dc:language: English

Identifiers

dc:identifier.*

Repository record dc:identifier: https://research.ou.nl/en/studentTheses/aa926174-aab0-410e-b033-1dee251dcf19
OAI record oai:identifier: https://research.ou.nl/ws/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Aresearch.ou.nl%3Astudenttheses%2Faa926174-aab0-410e-b033-1dee251dcf19

Chain of custody

source

Harvested from: Open Universiteit
Base URL: research.ou.nl/ws/oai
Last updated: 2026-07-24
Source record: OAI-PMH GetRecord

related terms

openu
2021

citation

Slob, F.. Model checking protocol implementations: A new adaptation-based approach. 2021. https://research.ou.nl/en/studentTheses/aa926174-aab0-410e-b033-1dee251dcf19

Model checking protocol implementations: A new adaptation-based approach

Author and committee

Rights

Identifiers

Chain of custody

More from Open Universiteit