Refining internal choice in PEPA models (1996)

by Stephen Gilmore , Jane Hillston
Venue:University of Edinburgh
Citations:2 - 2 self