区间马尔可夫链的定量分析——存档ouverte HAL Accéder directment au contenu公司
Chapiter D’ouvrage教堂 Anneée:2022年

区间马尔可夫链的定量分析

乔瓦尼·巴奇
  • 功能：奥特尔
计算机科学系
贝诺·特·德拉哈耶
  • 功能：奥特尔
建筑与物流
基姆·拉尔森
  • 功能：奥特尔
计算机科学系
安德斯·马里亚加
  • 功能：奥特尔
计算机科学系

与葡萄园

Théorie et langage formel[法语]
菲奇尔校长
小品小品
草稿.pdf（422.4 Ko） 特勒充电器
起源：菲奇尔斯制片人par l’（les）auteur（s）

贝诺·特·德拉哈耶以下为：Connectez-vous浇注接触器le contributer

https://hal.science/hal-03536947

索米斯勒：马尔迪1费弗里尔2022-09:49:15

Dernière修改le:mardi 23 avril 2024-10:18:03

Télé充电器倒可视化

日期和版本

hal-03536947， 版本1 (01-02-2022)

标识符

Citer公司

乔瓦尼·巴奇（Giovanni Bacci）、贝诺·德拉哈耶（Benoêt Delahaye）、金·拉森（Kim Larsen）和安德斯·马里亚加（Anders Mariegaard）。区间马尔可夫链的定量分析。模型检查、综合和学习，13030，Springer International Publishing，第57-772022页，计算机科学课堂讲稿，⟨10.1007/978-3-030-91384-7_4⟩。⟨哈尔-03536947⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

电信研究所 中国科学院 印度 欧共体国家 联阿援助团 LS2N型 LS2N-AELOS公司 南特大学 LS2N-VELO型
38 磋商
81 交易费用

海拔高度

合作伙伴

Gmail（Gmail） 脸谱网 X（X） 领英 更多