Technische Universitaet Dortmund;
机译:使用时间逻辑和自动机进行XML推理
机译:XML模式,树逻辑和滑轮自动机
机译:评论“基于完全剩余格值逻辑的自动机理论:下推自动机”
机译:使用时间逻辑和自动机进行XML推理
机译:用于流式XML验证的确定性自动机。
机译:基于动作的模型检查:逻辑自动机和减少
机译:基于逻辑和自动机的XML基础:快照
机译:Facility Composer(商标)和paCEs(商标)集成:基于行业基础类的XmL接口开发