Order Reprints
Journal: Sensors, 2007
Volume: 7
Page(s): 1447-1461
Article:
Using LOTOS for FormalisingWireless Sensor Network Applications
Rosa, N.S.; Cunha, P.R.F.
http://www.mdpi.com/1424-8220/7/8/1447
