编辑配置文件（在新选项卡中打开） 普辛斯卡斯·索利乌斯·普辛斯卡斯 合著者距离 作者ID： pusinskas.saulius公司 发布日期： 普辛斯卡斯·索利乌斯·普辛斯卡斯 已编制索引的文档： 1出版物自2010年起 合著者： 5位合著者具有1联合出版物 202位Co-Co作者 合著者 0 单作者的 1 桑迪·巴拉格 1 大卫，亚历山大 1 金·古德斯特兰·拉森 1 李书豪 1 布莱恩·尼尔森 系列 1 系统设计中的形式化方法 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次2文件 引用人▼ 年份▼ 使用UPPAAL对实时系统进行基于场景的验证。 Zbl 1209.68323号 李书豪;桑迪·巴拉格;大卫，亚历山大;Larsen，Kim G。;布莱恩·尼尔森;普辛斯卡斯·索利乌斯·普辛斯卡斯 3 2010 使用UPPAAL对实时系统进行基于场景的验证。 Zbl 1209.68323号 李书豪;桑迪·巴拉格;大卫，亚历山大;Larsen，Kim G。;布莱恩·尼尔森;普辛斯卡斯·索利乌斯·普辛斯卡斯 3 2010 全部的 前5名被9位作者引用 1 桑迪·巴拉格 1 亚历山德罗·西马蒂 1 大卫，亚历山大 1 金·古德斯特兰·拉森 1 李书豪 1 塞尔吉奥·莫弗 1 布莱恩·尼尔森 1 普辛斯卡斯·索利乌斯·普辛斯卡斯 1 斯特凡诺·托内塔 连载1篇 2 系统设计中的形式化方法 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文