FORMAL SPECIFICATION AND ANALYSIS OF AN AGENT-BASED MEDICAL IMAGE PROCESSING SYSTEM Article

cited authors

  • Ding, Junhua; He, Xudong

fiu authors

publication date

  • 2010

Digital Object Identifier (DOI)

start page

  • 311

end page

  • 345

volume

  • 20

issue

  • 3

research area