A modal specification approach for on-demand medical systems
| Title | A modal specification approach for on-demand medical systems |
| Publication Type | Book Chapter |
| Year of Publication | 2013 |
| Authors | King, Andrew L, Feng, Lu, Sokolsky, Oleg, Lee, Insup |
| Book Title | Foundations of Health Information Engineering and Systems |
| Pagination | 199–216 |
| Publisher | Springer |
| Keywords | 1035715 |
| Citation Key | king2013modal |