Institut fur Informatik Ludwigs-Maximilian-Universitaet Muenchen;
机译:使用部分订单模型进行定点逻辑的模型检查游戏
机译:关于带切点的定点逻辑的复杂性的三点说明
机译:用于模型检查的多值模态不动点逻辑
机译:本地模型检查与剁的固定点逻辑的游戏
机译:建立一种新的妇女心理疾病模型:对《心理疾病清单》进行定性分析,并对女性罪犯的心理疾病进行建构。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:具有印章的定点逻辑局部模型检验游戏