Towards a model checker for NesC and wireless sensor networks

10.1007/978-3-642-24559-6_26Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6991 LNCS372-38