Using phase type distributions for modelling HIV disease progression | IEEE Conference Publication | IEEE Xplore