×
编辑配置文件（在新选项卡中打开）

瓦埃科娃，帕夫利纳

合著者距离
作者ID： 瓦雷科瓦·帕夫利纳最近由“Vařeková，Pavlina”撰写的zbMATH文章
发布日期： 瓦埃科娃，帕夫利纳；瓦·埃科娃，P。
已编制索引的文档： 2出版物自2009年起
合著者： 6位合著者具有2联合出版物
97合著作者
全部的 前5名

合著者

0 单作者的
2 尼古拉·贝内什
2 卢博什·布里姆
2 伊万娜·乔纳
2 吉里·索科尔
1 布诺娃，B。
1 巴博拉·齐默洛娃

系列

1 计算机程序设计科学

领域

2 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物有被引用4中的次3文件 引用人▼ 年份▼
状态/事件LTL的部分订单减少。 Zbl 1211.68244号
尼古拉·贝内什；布里姆，卢博斯；伊万娜·乔纳；吉里·索科尔；瓦埃科娃，帕夫利纳；巴博拉·齐默洛娃
三
2009
应用于组件交互自动机的状态/事件LTL的部分降阶。 兹比尔1220.68048
北卡罗来纳州贝内什。；布里姆，L。；布诺娃，B。；乔纳，I。；索科尔，J。；瓦·埃科娃，P。
1
2011
应用于组件交互自动机的状态/事件LTL的部分降阶。 兹比尔1220.68048
北卡罗来纳州贝内什。；布里姆，L。；布诺娃，B。；乔纳，I。；索科尔，J。；瓦·埃科娃，P。
1
2011
状态/事件LTL的部分订单减少。 Zbl 1211.68244号
尼古拉·贝内什；布里姆，卢博斯；伊万娜·乔纳；吉里·索科尔；瓦埃科娃，帕夫利纳；巴博拉·齐默洛娃
三
2009
全部的 前5名

11位作者引用

1 尼古拉·贝内什
1 卢博什·布里姆
1 伊万娜·乔纳
1 艾维洛·多布里科夫
1 Michael Leuschel先生
1 托马斯·内勒
1 吉里·索科尔
1 安蒂·瓦尔马里
1 瓦埃科娃，帕夫利纳
1 Tim A.C.Willemse。
1 巴博拉·齐默洛娃

连载1篇

1 计算的形式方面

在2个字段中引用

三 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的引文