- Artículo:
An automata-theoretic approach to branching-time model checking
- Autor:
Orna Kupferman
Moshe
Vardi
Pierre Wolper
- Página:
312
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
2
- Periodo:
Marzo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-02.TXT
- Documento número 1670732
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
