Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal
Material type:
Article
In:
Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén) CACIC [CD-ROM]
| Item type | Home library | Call number | Status | Date due |
|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | CD 228 (Browse shelf(Opens below)) | Recurso en Línea |