arrow
返回
L

Louis‐Marie Traonouez

universite de rennes

14H指数
71论文数
733被引数
收录论文 1
发表时间
Compositionality for quantitative specifications
err2017-02-24
err3
PREAI
errFahrenberg, Uli; Kretinsky, Jan; Legay, Axel; Traonouez, Louis-Marie
err分享
err收藏