Catálogo de publicaciones - libros
Abstraction Refinement for Large Scale Model Checking
Accesos/Suscripciones
Este recurso está disponible en las siguientes plataformas
Información
Tipo: libros
ISBN impreso
978-0-387-34155-2
ISBN electrónico
978-0-387-34600-7
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2006
