Stem ssynchron$ (all stems)
1 papers:
ICSE-1992-WangME #distributed #realtime #specification- Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL (FW, AKM, EAE), pp. 188–198.
ICSE-1992-WangME #distributed #realtime #specification