@Article{ BENGHAZI_HURTADO_REAL_NOGUERA:381-390,

author = { KAWTAR BENGHAZI AKHLAKI and MARIA VISITACION HURTADO TORRES and SANTIAGO REAL MARTINEZ and MANUEL NOGUERA GARCÍA } ,

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

journal = { LECTURE NOTES IN COMPUTER SCIENCE },

year = { 2009 },

volume = { 5842 },

issn = { 0302-9743 },

pages = { 381-390 },

doi = { http://www.springerlink.com/content/6547213275u04n78/ },

}