Using decision diagrams to compactly represent the state space for explicit model checking

Imagen
Descripción
Autoría
Fecha de publicación	noviembre 2012
Idioma
País de origen
Enlace a Wikipedia
Estatus de derecho de autor	Public domain
¿Datos faltantes/errados?	Editar ítem de Wikidata