×
作者ID: 鹿茸最近由“Cerone,Antonio”撰写的zbMATH文章
发布方式: 安东尼奥·塞隆;塞隆,A。
已编制索引的文档: 12出版物自1999年以来,包括1本书
11作为编辑的贡献
合著者: 39位合著者具有20联合出版物
611合著作者

按年份列出的出版物

zbMATH Open中包含的引文

4出版物有被引用13中的次13文件 引用人 年份
用于系统规范的时间Petri网的基于时间的表示性。 Zbl 0914.68145号
安东尼奥·塞隆;安德烈亚·马吉奥洛·谢蒂尼
10
1999
软件工程的形式化方法。语言,方法,应用领域。曼弗雷德·布罗伊(Manfred Broy)的前言和约翰·塔克(John V.Tucker)对形式方法的起源和发展的贡献。 Zbl 1492.68003号
马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德
1
2022
结直肠癌KRAS突变所致耐药性的数学模型。 Zbl 1343.92244号
萨明、希玛;罗伯托·巴布蒂;保罗·米拉佐;安东尼奥·塞隆;马尔齐亚·德尔雷;达内西、罗马诺
1
2016
生物调控网络中振荡行为的形式分析:一种替代方法。 Zbl 1337.92081号
乌斯曼·劳夫;萨明、希玛;安东尼奥·塞隆
1
2013
软件工程的形式化方法。语言,方法,应用领域。由Manfred Broy作序,John V.Tucker对形式方法的起源和发展做出贡献。 Zbl 1492.68003号
马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德
1
2022
结直肠癌KRAS突变所致耐药性的数学模型。 Zbl 1343.92244号
萨明、希玛;罗伯托·巴布蒂;保罗·米拉佐;安东尼奥·塞隆;马尔齐亚·德尔雷;达内西、罗马诺
1
2016
生物调控网络中振荡行为的形式分析:一种替代方法。 Zbl 1337.92081号
乌斯曼·劳夫;萨明、希玛;安东尼奥·塞隆
1
2013
用于系统规范的时间Petri网的基于时间的表示性。 Zbl 0914.68145号
安东尼奥·塞隆;安德烈亚·马吉奥洛·谢蒂尼
10
1999

按年份列出的引文