DiccionariosForoContactos

   Ruso Inglés
Google | Forvo | +
формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состоянийacentos
progr. formal semantics for timed automata in terms of infinite state transition graphs (ssn)