Finite-Word Hyperlanguages
Finite-Word Hyperlanguages
复制标题
有限词超语言
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Sheinvald, Sarai
中科院分区：
文献类型：
--
作者：
Bonakdarpour, Borzoo;Sheinvald, Sarai
登录
查看更多内容
DOI：
10.1016/s0304-3975(02)00010-5
发表时间：
2002-06
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
G. Boudol;I. Castellani
通讯作者：
G. Boudol;I. Castellani
DOI：
--
发表时间：
2021
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Jan Baumeister;Norine Coenen;Borzoo Bonakdarpour;B. Finkbeiner;César Sánchez
通讯作者：
César Sánchez
在无限词上寻找自动机非空性的最短见证
DOI：
--
发表时间：
2006
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
O. Kupferman;Sarai Sheinvald
通讯作者：
Sarai Sheinvald
DOI：
10.1007/978-3-319-96145-3_16
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
B. Finkbeiner;Christopher Hahn;Philip Lukert;Marvin Stenger;Leander Tentrup
通讯作者：
Leander Tentrup
DOI：
--
发表时间：
2021
期刊：
International Conference on Verification, Model Checking and Abstract Interpretation
影响因子：
--
作者：
Ohad Goudsmid;O. Grumberg;Sarai Sheinvald
通讯作者：
Sarai Sheinvald