受强制性开放获取政策约束的文章 - Muhammad Syifa'ul Mufid了解详情
可在其他位置公开访问的文章:3 篇
ARCH-COMP19 category report: Hybrid systems with piecewise constant dynamics
G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ...
EasyChair, 2019
强制性开放获取政策: 国家自然科学基金委员会
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
L Bu, A Abate, D Adzkiya, MS Mufid, R Ray, Y Wu, E Zaffanella
ARCH, 1-15, 2020
强制性开放获取政策: 国家自然科学基金委员会
Interpolation polynomials associated to linear recurrences
MS Mufid, L Szalay
Turkish Journal of Mathematics 47 (7), 1932-1943, 2023
强制性开放获取政策: Hungarian Scientific Research Fund, National Office for Research …
出版信息和资助信息由计算机程序自动确定