×

米查尔·乔泽夫·纳皮克

作者ID: 纳皮克·米歇尔·乔泽夫最近由“Knapik,Michal Jozef”撰写的zbMATH文章
发布日期: 米夏·克纳皮克;米查尔·乔泽夫·纳皮克;米查尔·科纳皮克
已编制索引的文档: 9出版物自2010年起
合著者: 14合著者具有9联合出版物
252合著作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用20中的次17文件 引用人 年份
参数时间自动机的有界模型检验。 Zbl 1350.68183号
米夏·克纳皮克;沃伊切赫,彭泽克
8
2012
不完全信息下战略能力的近似验证。 Zbl 1478.68384号
沃伊切赫·贾姆罗加;米夏·克纳皮克;达米安·库尔皮夫斯基;乌卡斯·米库尔斯基
4
2019
参数验证:简介。 Zbl 1464.68224号
埃蒂安·安德烈;米夏·克纳皮克;莱姆,迪迪埃;沃伊切赫,彭泽克;劳雷·佩特鲁奇
2019
使用VerICS检查参数化模型。 Zbl 1312.68134号
米夏·克纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼
2
2010
定时ATL:忘记记忆,只需计数。 Zbl 1430.68309号
米查尔·乔泽夫·纳皮克;艾蒂安·安德烈;劳雷·佩特鲁奇;沃伊切赫·贾姆罗加;沃伊切赫,彭泽克
1
2019
通过应用三选票投票协议验证战略能力的相互模拟。 Zbl 1497.68287号
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克
1
2021
离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号
米夏·克纳皮克;沃伊切赫,彭泽克;马西耶·斯兹雷特;阿加塔·波罗拉
1
2010
通过应用三选票投票协议验证战略能力的相互模拟。 Zbl 1497.68287号
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克
1
2021
不完全信息下战略能力的近似验证。 Zbl 1478.68384号
沃伊切赫·贾姆罗加;米夏·克纳皮克;达米安·库尔皮夫斯基;乌卡斯·米库尔斯基
4
2019
参数验证:简介。 Zbl 1464.68224号
埃蒂安·安德烈;米夏·克纳皮克;莱姆,迪迪埃;沃伊切赫,彭泽克;劳雷·佩特鲁奇
2019
定时ATL:忘记记忆,只需计数。 Zbl 1430.68309号
米查尔·乔泽夫·纳皮克;艾蒂安·安德烈;劳雷·佩特鲁奇;沃伊切赫·贾姆罗加;沃伊切赫,彭泽克
1
2019
参数时间自动机的有界模型检验。 Zbl 1350.68183号
米夏·克纳皮克;沃伊切赫,彭泽克
8
2012
使用VerICS检查参数化模型。 Zbl 1312.68134号
米夏·克纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼
2
2010
离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号
米夏·克纳皮克;沃伊切赫,彭泽克;马西耶·斯兹雷特;阿加塔·波罗拉
1
2010

按年份列出的引文