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

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

ISSN: 1550-4808

ISBN: 076951071X

Any de publicació: 2001

Volum: 2001-January

Pàgines: 221-230

Tipus: Aportació congrés

DOI: 10.1109/CSD.2001.981779 GOOGLE SCHOLAR

Objectius de Desenvolupament Sostenible

Font de les dades: Scopus