尼古拉·贝内什；乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 （英语） Zbl 1435.68189号 Inf.计算。 271，文章ID 104487，24 p.（2020）.MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《信息计算》。271，文章ID 104487，24 p.（2020；Zbl 1435.68189） 全文： 内政部 哈尔
彼得·贝兹克；尼古拉·贝内什；伊万娜·乔纳；JiříBarnat 时间自动机的时钟LTL参数综合。 （英语） Zbl 1395.68164号 J.日志。阿尔盖布。方法计划。 99, 114-142 (2018).MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bezděk}等人，J.Log。阿尔盖布。方法计划。99、114——142（2018；Zbl 1395.68164） 全文： 内政部
彼得·贝兹克；尼古拉·贝内什；JiříBarnat；伊万娜·乔纳 参数时间自动机的LTL参数综合。 （英语） Zbl 1390.68422号 De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。计算机科学课堂讲稿9763172-187（2016）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bezděk}等人，Lect。注释计算。科学。9763、172--187（2016；Zbl 1390.68422） 全文： 内政部 arXiv公司
尼古拉·贝内什；彼得·贝兹克；Larsen，Kim G。；吉·斯尔巴 连续时间参数时间自动机的语言空虚性。 （英语） Zbl 1440.68150号 Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 69-81 (2015).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Lect。注释计算。科学。9135，69-81（2015；Zbl 1440.68150） 全文： 内政部 arXiv公司
尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；米凯尔·H·默勒。；所罗门·西克特；吉·斯尔巴 参数模态转换系统的精化检查。 （英语） Zbl 1309.68130号 学报信息。 52，编号2-3，269-297（2015）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Acta Inf.52，No.2--3，269--297（2015；Zbl 1309.68130） 全文： 内政部 链接
尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；吉·斯尔巴 EXPTIME-对模态转换系统进行彻底细化的完整性。 （英语） Zbl 1282.68118号 Inf.计算。 218, 54-68 (2012).MSC公司：2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《信息计算》。218，54-68（2012年；兹比尔1282.68118） 全文： 内政部
尼古拉·贝内什；伊万娜·乔纳；Štefaňák，Filip 组件交互自动机的因子分解。 （英语） Zbl 1302.68149号 Bieliková，Mária（编辑）等人，SOFSEM 2012：计算机科学的理论与实践。2012年1月21日至27日，第38届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27659-0/pbk）。计算机科学课堂讲稿7147554-565（2012）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Lect。注释计算。科学。7147554--565（2012；Zbl 1302.68149） 全文： 内政部