Formal mirror models: An approach to just-in-time reasoning for device ecologies

Seng Wai Loke, Sucha Smanchat, Sea Ling, Maria T Indrawan

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	15 - 31
Number of pages	17
Journal	International Journal of Smart Home
Volume	2
Issue number	1
Publication status	Published - 2008

Cite this

@article{472122cc82f54a93a42feea7c6ec3a5f,

title = "Formal mirror models: An approach to just-in-time reasoning for device ecologies",

author = "Loke, {Seng Wai} and Sucha Smanchat and Sea Ling and Indrawan, {Maria T}",

year = "2008",

language = "English",

volume = "2",

pages = "15 -- 31",

journal = "International Journal of Smart Home",

issn = "1975-4094",

number = "1",

}