%0 Journal Article %1 journals/expert/KrauseFOG93 %A Krause, Paul J. %A Fox, John %A O'Neil, Mike %A Glowinski, Andrzej J. %D 1993 %J IEEE Expert %K dblp %N 3 %P 56-61 %T Can we Formally Specify a Medical Decision Support System? %U http://dblp.uni-trier.de/db/journals/expert/expert8.html#KrauseFOG93 %V 8

@article{journals/expert/KrauseFOG93, added-at = {2022-09-16T00:00:00.000+0200}, author = {Krause, Paul J. and Fox, John and O'Neil, Mike and Glowinski, Andrzej J.}, biburl = {https://www.bibsonomy.org/bibtex/2f6d2b1ac99baee79fdb913fc7dab18f9/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/64.215223}, interhash = {46fafdac5625d30447a8cba5d66e0dc3}, intrahash = {f6d2b1ac99baee79fdb913fc7dab18f9}, journal = {IEEE Expert}, keywords = {dblp}, number = 3, pages = {56-61}, timestamp = {2024-04-09T05:39:33.000+0200}, title = {Can we Formally Specify a Medical Decision Support System?}, url = {http://dblp.uni-trier.de/db/journals/expert/expert8.html#KrauseFOG93}, volume = 8, year = 1993 }