@inproceedings{mathe2012cancer,
author = {Mathe, Janos L. and Sztipanovits, Janos and Levy, Mia and Jackson, Ethan and Schulte,  Wolfram},
title = {Cancer treatment planning: Formal methods to the rescue},
booktitle = {2012 4th International Workshop on Software Engineering in Health Care (SEHC)},
year = {2012},
month = {May},
abstract = {This paper describes the ongoing development of ATTENTION, a new kind of clinical decision support system for synthesizing and managing longitudinal treatment plans, such as cancer treatment plans. ATTENTION combines stateof- the-art formal modeling and constraint solving with clinical information systems to synthesize complex cancer treatment plans that are also executable},
publisher = {IEEE},
url = {http://approjects.co.za/?big=en-us/research/publication/cancer-treatment-planning-formal-methods-rescue/},
edition = {Software Engineering in Health Care (SEHC), 2012 4th International Workshop on},
}