Stem simulat$ (all stems)
2 papers:
PODS-2005-KenthapadiMN- Simulatable auditing (KK, NM, KN), pp. 118–127.
FM-1979-LevittRS #specification- Writing Simulatable Specifications in SPECIAL (KNL, LR, BAS), pp. 39–78.
PODS-2005-KenthapadiMN
FM-1979-LevittRS #specification