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]
Abstract is missing.