University of Freiburg, Institute for Computer Science, Germany;
机译:轻型目录访问协议的Event-B方法
机译:在会话证书颁发机构上应用轻量级目录访问协议服务
机译:轻型目录访问协议
机译:轻量级目录访问协议的正式分析
机译:使用改进的服务位置协议(SLP)发现轻型目录访问协议(LDAP)服务。
机译:勘误至:在欧洲获得及时的正式痴呆护理:Actifcare(及时正规护理的访问)研究方案
机译:轻型目录访问协议的形式分析