%0 Conference Paper %1 conf/icaart/Martinez-SarrieguiZSGGH09 %A Martínez-Sarriegui, Iñaki %A Zhu, Hong %A Shan, Lijun %A García-Sáez, Gema %A Gómez, Enrique J. %A Hernando, M. Elena %B ICAART %D 2009 %E Filipe, Joaquim %E Fred, Ana L. N. %E Sharp, Bernadette %I INSTICC Press %K dblp %P 507-512 %T Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2009.html#Martinez-SarrieguiZSGGH09 %@ 978-989-8111-66-1

@inproceedings{conf/icaart/Martinez-SarrieguiZSGGH09, added-at = {2020-04-30T00:00:00.000+0200}, author = {Martínez-Sarriegui, Iñaki and Zhu, Hong and Shan, Lijun and García-Sáez, Gema and Gómez, Enrique J. and Hernando, M. Elena}, biburl = {https://www.bibsonomy.org/bibtex/278098d548e9af8997df0cadb6e288db6/dblp}, booktitle = {ICAART}, crossref = {conf/icaart/2009}, editor = {Filipe, Joaquim and Fred, Ana L. N. and Sharp, Bernadette}, interhash = {adb8b0e406809574dca73f798c343e7e}, intrahash = {78098d548e9af8997df0cadb6e288db6}, isbn = {978-989-8111-66-1}, keywords = {dblp}, pages = {507-512}, publisher = {INSTICC Press}, timestamp = {2020-05-01T11:41:55.000+0200}, title = {Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2009.html#Martinez-SarrieguiZSGGH09}, year = 2009 }