@inbook{ Benghazi-Akhlaki_HURTADO_RODRIGUEZ_NOGUERA:381-390,

author = { Kawtar Benghazi-Akhlaki and MARIA VISITACION HURTADO TORRES and MARIA LUISA RODRIGUEZ ALMENDROS and MANUEL NOGUERA GARCÍA } ,

title = { APPLYING FORMAL VERIFICATION TECHNIQUES TO AMBIENT ASSISTED LIVING SYSTEMS },

booktitle = { ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 CONFEDERATED INTERNATIONAL WORKSHOPS AND POSTERS },

isbn = { 3-642-05289-4 },

publisher = { SPRINGER-VERLAG },

pages = { 381 - 390 },

year = { 2009 },

}