Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal

BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD