Original language | English |
---|---|
Title of host publication | 21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009 |
Editors | Michael R. Hansen, Aske Brekling |
Number of pages | 8 |
Publisher | Technical University of Denmark (DTU) |
Publication date | 2009 |
ISBN (Print) | 978-87-643-0565-4 |
Publication status | Published - 2009 |
Event | Nordic Workshop on Programming Theory, NWPT'09 - Copenhagen, Denmark Duration: 14 Oct 2009 → 16 Oct 2009 Conference number: 21 |
Conference
Conference | Nordic Workshop on Programming Theory, NWPT'09 |
---|---|
Number | 21 |
Country/Territory | Denmark |
City | Copenhagen |
Period | 14/10/2009 → 16/10/2009 |
Keywords
- UppAal Pro
- Wireless Sensor Networks
- Model Checking