@inproceedings{75a34729d86d44b9bc5b568746393872,
title = "Processes and data integration in the networked healthcare (track introduction)",
author = "Tiziana Margaria and Christoph Rasche",
year = "2014",
doi = "10.1007/978-3-662-45231-8_43",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "524--525",
editor = "Tiziana Margaria and Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings",
note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",
}