Dealing with uncertainty in verification of nondeterministic systems
Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
4
Citas
(Scopus)