CTL* synthesis via LTL synthesis
CTL* synthesis via LTL synthesis
复制标题
通过 LTL 合成进行 CTL* 合成
DOI：
10.4204/eptcs.260.4
复制
发表时间：
2017
影响因子：
--
通讯作者：
Bloem R
中科院分区：
文献类型：
--
作者：
Bloem R
登录
查看更多内容
DOI：
10.1007/3-540-45319-9_1
发表时间：
2001-04
期刊：
--
影响因子：
--
作者：
Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
DOI：
10.1016/s0065-2377(08)00003-3
发表时间：
2008-01-01
期刊：
MATHEMATICS IN CHEMICAL KINETICS AND ENGINEERING
影响因子：
--
作者：
Gorban, A. N.;Radulescu, O.
通讯作者：
Radulescu, O.
第三届反应合成竞赛（SYNTCOMP 2016）：基准、参与者
影响因子：
7.7
作者：
Swen Jacobs;R. Bloem;Romain Brenguier;A. Khalimov;F. Klein;Robert Könighofer;J. Kreber;Alexander Legg;Nina Narodytska;G. Pérez;Jean;L. Ryzhyk;O. Sankur;M. Seidl;Leander Tentrup;Adam Walker
通讯作者：
Adam Walker
Streett、Rabin 和 ext CTL^* 的有界综合
影响因子：
7.7
作者：
A. Khalimov;R. Bloem
通讯作者：
R. Bloem
Alonzo Church，《国际数学家大会论文集》，1962 年 8 月 15-22 日，Institut Mittag-Leffler，瑞典 Djursholm，1963 年，第 23-35 页。
影响因子：
0.6
作者：
J. R. Büchi
通讯作者：
J. R. Büchi