- Artículo:
An Introduction To Model Checking.
- Autor:
Girish Keshav Palshikar
- Página:
22
- Publicación:
EMBEDDED SYSTEMS PROGRAMMING ISSN 10403272
- Volúmen:
17
- Número:
3
- Periodo:
MARCH 2004
- SrcID:
2004-03PRO.txt
- Documento número 1488317
- Actualizado el jueves, 13 de mayo de 2021 01:03:17 p. m.
- Creado el jueves, 13 de mayo de 2021 01:03:17 p. m.
- Enlace directo
