%0 Conference Paper %1 conf/medinfo/Eleftherakis01 %A Eleftherakis, George %B MedInfo %D 2001 %E Patel, Vimla L. %E Rogers, Ray %E Haux, Reinhold %I IOS Press %K dblp %P 13-17 %T A Formal Framework for Modelling and Validating Medical Systems. %U http://dblp.uni-trier.de/db/conf/medinfo/medinfo2001.html#Eleftherakis01 %V 84 %@ 978-1-60750-928-8

@inproceedings{conf/medinfo/Eleftherakis01, added-at = {2021-02-03T00:00:00.000+0100}, author = {Eleftherakis, George}, biburl = {https://www.bibsonomy.org/bibtex/23c3735ab2511a4fec3f6fecd60523ed7/dblp}, booktitle = {MedInfo}, crossref = {conf/medinfo/2001}, editor = {Patel, Vimla L. and Rogers, Ray and Haux, Reinhold}, ee = {https://doi.org/10.3233/978-1-60750-928-8-13}, interhash = {043f4609ff901f206a5141a8a0958a32}, intrahash = {3c3735ab2511a4fec3f6fecd60523ed7}, isbn = {978-1-60750-928-8}, keywords = {dblp}, pages = {13-17}, publisher = {IOS Press}, series = {Studies in Health Technology and Informatics}, timestamp = {2024-04-10T06:58:46.000+0200}, title = {A Formal Framework for Modelling and Validating Medical Systems.}, url = {http://dblp.uni-trier.de/db/conf/medinfo/medinfo2001.html#Eleftherakis01}, volume = 84, year = 2001 }