Desde especificaciones lógicas de intervalos a autómatas de propiedaduna construcción "tableau" para su aplicación en comprobación de modelos "on-the-fly"

  1. Hornos Barranco, Miguel J.

Editorial: [Granada] : Editorial de la Universidad de Granada, 2012

ISBN: 978-84-694-9335-9

Año de publicación: 2012

Tipo: Libro

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet