编辑配置文件（在新选项卡中打开） 卡洛斯·科特里尼·吉梅内斯 合著者距离 作者ID： 科特里尼·吉梅内兹·卡洛斯 发布日期： 卡洛斯·科特里尼·吉梅内斯 已编制索引的文档： 1出版物自2014年起 合著者： 3位合著者具有1联合出版物 128位合作作者 合著者 0 单作者的 1 David A.Basin。 1 费利克斯·克莱特克 1 尤根·兹利内斯库 系列 1 信息处理信件 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2次2文件 引用人▼ 年份▼ 决定TPTL的安全性和活力。 Zbl 1371.68101号 戴维·巴恩斯;卡洛斯·科特里尼·吉梅内斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2014 决定TPTL的安全性和活力。 Zbl 1371.68101号 戴维·巴恩斯;卡洛斯·科特里尼·吉梅内斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2014 4位作者引用 1 克劳斯·哈维隆德 1 奥尔纳·库普弗曼 1 Doron A.Peled。 1 加尔省瓦尔迪 在1个序列中引用 2 系统设计中的形式化方法 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文