Yazar
Diaz, Josep. editor.
Format:
Electronic Resources
Alıntı:
-- Parametric LTL on Markov Chains -- Specifying and Verifying Properties of Space -- Primal Infon Logic with
View Other Search Results
Yazar
Češka, Milan. editor. (orcid)0000-0002-0300-9727
Format:
Electronic Resources
Alıntı:
-- Data-informed parameter synthesis for population Markov chains-. rPrism - A software for reactive weighted state
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: