Formalising Nondeterministic Communication in Wireless Sensor Networks Using CSP

Autor:	Andersen, Sondre Ninive, Espe, Asbjørn Engmark, Hendseth, Sverre, Mathisen, Geir
Databáze:	NORA (Norwegian Open Research Archive)
Externí odkaz:	https://hdl.handle.net/11250/3026416 Zobrazit plný text záznamu