Carl von Ossietzky Universitaet Oldenburg, Ammerlaender Heerstrasse 114-118, 26111 Oldenburg, Germany;
机译:概率线性混合自动机的符号可达性分析
机译:高维最大加上线性系统的象征性分析
机译:二阶推送系统符号可达性分析的交替构造。
机译:使用符号正交投影的混合系统可达性分析
机译:使用符号数字技术对网络物理系统进行可达性分析。
机译:正交地塞米松-甲氧苄啶酵母三杂化系统
机译:符号正交投影:混合系统可达性分析的一种新的多面体表示