功能
zbMATH中的参考文献(参考
2篇文章
引用)
Daniel Dietsch;Heizmann,Matthias;Langenfeld,Vincent;Podelski,Andreas:《公平模理论:LTL软件模型检查的新方法》(2015) D'Silva,Vijay;Urban,Caterina:冲突驱动的有条件终止(2015)