编辑配置文件（在新选项卡中打开） 法孔蒂，G.P。 合著者距离 作者ID： faconti.g-p公司 发布日期： 法孔蒂，G。;法孔蒂，G.P。 已编制索引的文档： 4出版物自1998年以来 合著者： 4位合著者具有4联合出版物 203位合作作者 合著者 0 单作者的 4 梅克·马西克 2 加文·多尔蒂。 1 Joost-Pieter卡托恩 1 迭戈·拉特拉 系列 2 计算的形式化方面 1 系统设计中的形式化方法 字段 4 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用4中的次4文件 引用人▼ 年份▼ 使用UPPAAL自动验证lip同步协议。 Zbl 0951.68533号 H·鲍曼。;法孔蒂，G。;J.-P.卡托恩。;拉特拉，D。;马森克，M。 4 1998 使用UPPAAL自动验证lip同步协议。 Zbl 0951.68533号 H·鲍曼。;法孔蒂，G。;J.-P.卡托恩。;Latella，D。;马森克，M。 4 1998 被5位作者引用 三 鲁道夫·戈麦斯 1 帕特里夏·鲍耶 1 霍华德·鲍曼 1 尼古拉斯·马基 1 奥坎·桑库尔 2篇连载文章中引用 2 计算的形式化方面 1 信息与计算 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文