機譯 用于評估異構(gòu)測試假設集的邏輯

機譯 測試呈現(xiàn)隨機時間和超時的有限狀態(tài)機

機譯 線性時間分支時間譜的雙模擬

機譯 保留軟一致性關(guān)系的上下文

機譯 過程語義學的通用同源特征

機譯 逆變模擬的邏輯

機譯 計算標準動態(tài)幾何環(huán)境的軌跡方程

機譯 潮汐泊松項在非剛性地球上升理論中的貢獻

機譯 定義所有進程語義的距離

機譯 BCCsp上弱完全模擬語義的等價理論

機譯 分布式系統(tǒng)的新的互模擬語義

機譯 關(guān)于過程語義的統(tǒng)一：觀察語義學

機譯 關(guān)于半線性拋物問題爆發(fā)的一些結(jié)果

機譯 合理的單一投影投影曲線的分類，其奇點有一個puiseux對\ ud

機譯 名字創(chuàng)建vs. petri網(wǎng)系統(tǒng)中的復制

機譯 復制的環(huán)境petri網(wǎng)

機譯 具有名稱創(chuàng)建的petri網(wǎng)的前向分析

機譯 時間弧petri網(wǎng)性質(zhì)的可判定性

機譯 最小程度品種的三重規(guī)范封面。\ u

機譯 對呈現(xiàn)軟期限和硬期限的系統(tǒng)進行正式測試