Yazar
Plakhov, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Information Systems and Communication Service.
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic
View Other Search Results
Yazar
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy
Arama Sonuçlarını Sınırlandır
Daraltılmış: