Yazar
Abate, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
with an emphasis on hybrid approaches — by no means restricted to a narrow class of mathematical models
Yazar
Foret, Annie. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
View Other Search Results
Yazar
Maler, Oded. editor.
Format:
Electronic Resources
Alıntı:
Computation -- RKappa: Statistical Sampling Suite for Kappa Models -- Integration of Rule-Based Models and
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014
Arama Sonuçlarını Sınırlandır
Daraltılmış: