Stem tipp$ (all stems)
1 papers:
TACAS-1996-HermannsMR #algebra #analysis #probability #process- A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (HH, VM, MR), pp. 427–430.
 
TACAS-1996-HermannsMR #algebra #analysis #probability #process