共 50 条
[23]
Recent advances in numerical methods for partial fractional differential equations
[J].
2014 15TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE (ICCC),
2014,
:454-457
[28]
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report
[J].
COMPUTER PERFORMANCE ENGINEERING,
2010, 6342
:115-130