cff-version: 1.2.0
abstract: "This dataset contains supplementary material for the publication

F. Heidarian, J. Schmaltz and F.W. Vaandrager. Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. In Theoretical Computer Science 413:87-105, 2012. QAPL'10 special issue.

The following data are included:
1. A Uppaal model of the WSN protocol
2. A manual proof of correctness of the protocol
3. The sources of an Isabelle proof of correctness of the protocol"
authors:
  - family-names: Vaandrager
    given-names: Frits
title: "Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks""
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/uuid:bfbd480d-1b49-4494-ad2c-0a5caa383354
license: 4TU General Terms of Use
date-released: 2014-07-17