Blazon
发表于 2025-3-30 10:54:22
0302-9743 rs are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications..978-3-031-16335-7978-3-031-16336-4Series ISSN 0302-9743 Series E-ISSN 1611-3349