- Periodo:
Enero 2001
- Artículo:
Automated complexity analysis based on ordered resolution
- Autor:
David Basin
Harald Ganzinger
- ISSN:
00045411
- SrcID:
00045411-2001-01.TXT
- Página:
70
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
48
- Número:
1
- Documento número 1670753
- Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Enlace directo
