Alexander Hoole, Issa Traoré, Michael Yanguo Liu. Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract). In Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears, editors, Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Volume 2699 of Lecture Notes in Computer Science, pages 292-293, Springer, 2002. [doi]
Abstract is missing.