A divide & conquer approach to leads-to model checking for large-scale systems
Este artículo está bajo embargo y solo es visible para los periodistas
Please login here
Regions: Asia, Japan
Keywords: Applied science, Computing, Engineering, Science, Mathematics
Esta noticia se ha retirado. Los usuarios registrados pueden contactar a la organización del contenido para más información entrando en su cuenta