Refining internal choice in PEPA models (1996)

by S Gilmore, J Hillston
Venue:University of Edinburgh