Mobile Resource Guarantees for Smart Devices - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark. Mobile Resource Guarantees for Smart Devices. In Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean, editors, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers. Volume 3362 of Lecture Notes in Computer Science, pages 1-26, Springer, 2004. [doi]

This author has not been identified. Look up 'David Aspinall' in GoogleThis author has not been identified. Look up 'Stephen Gilmore' in GoogleThis author has not been identified. Look up 'Martin Hofmann' in GoogleIdentified as Donald Sannella This author has not been identified. Look up 'Ian Stark' in Google

runs on WebDSL