Browsing by Author Vallee, Thierry

In order:
Results/Page
Authors/Record:
Showing results 1 to 1 of 1
DateTitleAuthor(s)Type
2010TEPAWSN: A formal analysis tool for wireless sensor networksMan, Ka Lok; Krilavi─Źius, Tomas; Vallee, Thierry; Leung, H.LStraipsnis kituose recenzuojamuose leidiniuose / Article in other peer-reviewed editions (S5)