Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between
Yazar
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
range of topics and techniques related to system coordination, including: programming and communication
View Other Search Results
Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
Verification and Evaluation of Computer and Communication Systems 13th International Conference
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking for
Arama Sonuçlarını Sınırlandır
Daraltılmış: