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

Ano de publicación: 2001

Volume: 2001-January

Páxinas: 221-230

Tipo: Achega congreso

DOI: 10.1109/CSD.2001.981779 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus