Model Checking for Combined Logics with an Application to Mobile Systems

• 作者Massimo Franceschet; Angelo Montanari; Maarten de Rijke
• 卷第11卷
• 期第3期
• 印刷ISSN0928-8910
• 电子ISSN1573-7535
• 文件大小228.69KB
• 发表时间2004-06
• DOI10.1023/b:ause.0000028537.84347.9c
• 页码289-321