Technische Universitaet Muenchen;
Technische Universitaet Muenchen;
Technische Universitaet Muenchen ,Microsoft Research Cambridge;
机译:利用喇叭条求解PLC软件的组成验证
机译:在不归纳的情况下解决归纳数据类型的Horn子句– ERRATUM
机译:在没有归纳的归纳数据类型上求解喇叭子句 - 错误
机译:解决存在量化的喇叭子句
机译:使用horn子句和二进制决策图进行程序分析。
机译:生物医学本体中存在量化的意外后果
机译:解决存在量化的Horn子句