Inverse relations

[ .. ] → kbdef:hasDerivative → A formally verified decentralized key management architecture for wireless sensor networks / Y.W. Law ... [et al.]