Uppsala University Department of Information Technology P.O. Box 337 751 05 Uppsala, Sweden;
机译:单调抽象(关于参数化系统的有效验证)
机译:参数化宏模型的被动性验证和执行的摄动方案
机译:用于蛋白质模拟的PACE力场。 1.版本1的完整参数化和验证
机译:在参数化验证中强制单调性:从多重传输到单词
机译:参数化的软件验证。
机译:ALAMEDA蚕豆作物的结构功能模型:形态参数化和验证
机译:在参数化验证中强制单调性:从多重集到单词