- Artículo:
Counterexample-guided abstraction refinement for symbolic model checking
- Autor:
E. Clarke
O. Grumberg
S. Jha
Y. Lu
H. Veith
- Página:
752
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
5
- Periodo:
Septiembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-05.txt
- Documento número 1670835
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
