Antoine Petit 人物

关系图谱

2

相关论文

2

相关公司

0

相关事件

0

相关专利

0

相关文章

详细信息

ORCIDOpenAlex

相关论文查看全部 (2)

Systems and Software Verification: Model-Checking Techniques and Tools
2001引用 492
Systems and Software Verification
2001引用 292

相关公司查看全部 (2)

Laboratoire Spécification et VérificationRESEARCH_INSTITUTE
Centre National de la Recherche ScientifiqueGOVERNMENT

相关事件

暂无数据

相关专利

暂无数据

相关文章

暂无数据