%0 Conference Paper %1 conf/ccnc/Gawanmeh13 %A Gawanmeh, Amjad %B CCNC %D 2013 %I IEEE %K dblp %P 898-902 %T An axiomatic model for formal specification requirements of ubiquitous healthcare systems. %U http://dblp.uni-trier.de/db/conf/ccnc/ccnc2013.html#Gawanmeh13 %@ 978-1-4673-3131-9

@inproceedings{conf/ccnc/Gawanmeh13, added-at = {2013-04-14T00:00:00.000+0200}, author = {Gawanmeh, Amjad}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/291187291cf83499e5f7432dc22fa9da9/dblp}, booktitle = {CCNC}, crossref = {conf/ccnc/2013}, ee = {http://dx.doi.org/10.1109/CCNC.2013.6488581}, interhash = {e21da4bcad24c0c990e0ac689ee0862c}, intrahash = {91187291cf83499e5f7432dc22fa9da9}, isbn = {978-1-4673-3131-9}, keywords = {dblp}, pages = {898-902}, publisher = {IEEE}, timestamp = {2016-02-02T11:40:28.000+0100}, title = {An axiomatic model for formal specification requirements of ubiquitous healthcare systems.}, url = {http://dblp.uni-trier.de/db/conf/ccnc/ccnc2013.html#Gawanmeh13}, year = 2013 }