NDLTD logo NDLTD Union Catalog and Global ETD Search
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 identifier oai:identifier
oai:research.ou.nl:studenttheses/aa926174-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
citation

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

More from Open Universiteit

  1. Artificial Intelligence capabilities and their contribution to public value in a public organization Held, Charif 2023
  2. De eigendomsstructuur van een WKO-installatie: een analyse, opties en een aanbeveling voor een optimale juridische structuur. Ruigrok, M.J.A. 2024
  3. SADDLE, SECTION ALIGNMENT TO DETECT DOCUMENT LINKS EFFICIENTLY Stegink, John 2024