UNU/IIST
G. Pu (Geguang) , V. Stolz
UNU/IIST Report
Coordination With Performance Guarantees
International Workshop on Harnessing Theories for Tool Support in Software
Computer Security

Sun, M. (2007). Pre-Galois Connection on Coalgebras for Generic Component Refinement. In G Pu & V Stolz (Eds.), UNU/IIST Report. UNU/IIST.