@inproceedings{f93fdaef458c47cd874b78529165b0ce,
title = "State based analysis of pervasive systems",
keywords = "Analysis, Pervasive, Refinement, Statechart, System",
author = "Martyn Ratcliffe and Hu Bin",
year = "2007",
doi = "10.1109/ICPCA.2007.4365509",
language = "English",
isbn = "1424409713",
series = "2007 2nd International Conference on Pervasive Computing and Applications, ICPCA'07",
pages = "572--577",
booktitle = "2007 2nd International Conference on Pervasive Computing and Applications, ICPCA'07",
note = "2007 2nd International Conference on Pervasive Computing and Applications, ICPCA'07 ; Conference date: 26-07-2007 Through 27-07-2007",
}