%0 Journal Article %1 journals/artmed/BottrighiGMMTT10 %A Bottrighi, Alessio %A Giordano, Laura %A Molino, Gianpaolo %A Montani, Stefania %A Terenziani, Paolo %A Torchio, Mauro %D 2010 %J Artif. Intell. Medicine %K dblp %N 1 %P 1-19 %T Adopting model checking techniques for clinical guidelines verification. %U http://dblp.uni-trier.de/db/journals/artmed/artmed48.html#BottrighiGMMTT10 %V 48

@article{journals/artmed/BottrighiGMMTT10, added-at = {2020-12-29T00:00:00.000+0100}, author = {Bottrighi, Alessio and Giordano, Laura and Molino, Gianpaolo and Montani, Stefania and Terenziani, Paolo and Torchio, Mauro}, biburl = {https://www.bibsonomy.org/bibtex/21235ff372359fd10e003f24260637ad6/dblp}, ee = {https://www.wikidata.org/entity/Q51779639}, interhash = {9cdf8b62f6de89728e36947536e7d03d}, intrahash = {1235ff372359fd10e003f24260637ad6}, journal = {Artif. Intell. Medicine}, keywords = {dblp}, number = 1, pages = {1-19}, timestamp = {2024-04-08T17:24:27.000+0200}, title = {Adopting model checking techniques for clinical guidelines verification.}, url = {http://dblp.uni-trier.de/db/journals/artmed/artmed48.html#BottrighiGMMTT10}, volume = 48, year = 2010 }