"AVISPA in the Validation of Ambient Intelligence Scenarios."

Antonio Muñoz, Antonio Maña, Daniel Serrano (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics