Applying AI model-checking techniques to clinical guidelines

Research output: Contribution to conference › Paper › peer-review

Original language	Italian
Publication status	Published - 1 Jan 2007
Event	Medinfo (World Congress for Health Informatics) 2007 - Brisbane, Australia Duration: 1 Jan 2007 → …

Conference	Medinfo (World Congress for Health Informatics) 2007
City	Brisbane, Australia
Period	1/01/07 → …

Cite this

@conference{2c08ab36eb014b04aa5146e520414973,

title = "Applying AI model-checking techniques to clinical guidelines",

author = "Laura GIORDANO and Alessio BOTTRIGHI and Stefania MONTANI and Paolo TERENZIANI",

year = "2007",

month = jan,

day = "1",

language = "Italian",

note = "Medinfo (World Congress for Health Informatics) 2007 ; Conference date: 01-01-2007",

}