www.prismmodelchecker.org
[Fal90] G. Falin. A survey of retrial queues. Queueing Systems, 7, pages 127-168. 1990. [bib]
Downloads:  bib bib

Publications