Jerzy Martyna. Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA+. In Andrzej Kwiecien, Piotr Gaj, Piotr Stera, editors, Computer Networks - 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings. Volume 79 of Communications in Computer and Information Science, pages 131-140, Springer, 2010. [doi]
@inproceedings{Martyna10-1,
title = {Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA+},
author = {Jerzy Martyna},
year = {2010},
doi = {10.1007/978-3-642-13861-4_13},
url = {http://dx.doi.org/10.1007/978-3-642-13861-4_13},
researchr = {https://researchr.org/publication/Martyna10-1},
cites = {0},
citedby = {0},
pages = {131-140},
booktitle = {Computer Networks - 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings},
editor = {Andrzej Kwiecien and Piotr Gaj and Piotr Stera},
volume = {79},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-13860-7},
}