@misc{https://doi.org/10.4121/uuid:bfbd480d-1b49-4494-ad2c-0a5caa383354,
  doi = {10.4121/uuid:bfbd480d-1b49-4494-ad2c-0a5caa383354},
  url = {https://data.4tu.nl/articles/dataset/Supplementary_material_for_publication_Analysis_of_a_Clock_Synchronization_Protocol_for_Wireless_Sensor_Networks_/12714281/1},
  author = {Vaandrager, Frits},
  keywords = {Isabelle, Uppaal, formal verification, proof assistant, timed automata model checking, wireless sensor network},
  title = {Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"},
  publisher = {Radboud University},
  year = {2014},
  copyright = {4TU General Terms of Use},
}