Publications @InProceedings{ IS 2012, AUTHOR = {Cesario, Eugenio and Esposito, Massimo and De Pietro, Giuseppe and Talia, Domenico}, TITLE = {Verification of clinical guidelines encoded into knowledge-based DSSs}, YEAR = {2012}, BOOKTITLE = {In Proc. of the 6th IEEE International Conference on Intelligent Systems (IS 2012)}, PAGES = {264-269}, ADDRESS = {Sofia, Bulgaria}, PUBLISHER = {IEEE}, URL = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6335146} }