文章基本信息

标题：Antichains for the Automata-Based Approach to Model-Checking
本地全文：下载
作者：Laurent Doyen ; Jean-François Raskin
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2009
卷号：5
期号：01
DOI：10.2168/LMCS-5(1:5)2009
出版社：Technical University of Braunschweig
摘要：
Abstract
关键词：Probabilistic Model;Simulation;Algorithms