Stem ptool$ (all stems)
2 papers:
- CAV-1999-HermannsMS #analysis #composition #markov #modelling #named #performance #specification
- TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (HH, VM, MS), pp. 487–490.
- SIGMOD-1994-GrossmanQ #named #persistent #scalability
- Ptool: A Scalable Persistent Object Manager (RLG, XQ), p. 510.