Automata generation for on-the-fly automatic verification using formulas of an interval logic

  1. Hornos, M.J.
  2. Capel, M.I.
Actas:
Proceedings - International Conference on Application of Concurrency to System Design, ACSD

ISSN: 1550-4808

ISBN: 076951071X

Año de publicación: 2001

Volumen: 2001-January

Páginas: 221-230

Tipo: Aportación congreso

DOI: 10.1109/CSD.2001.981779 GOOGLE SCHOLAR
Fuente de los datos: Scopus