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

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

ISSN: 1550-4808

ISBN: 076951071X

Datum der Publikation: 2001

Ausgabe: 2001-January

Seiten: 221-230

Art: Konferenz-Beitrag

DOI: 10.1109/CSD.2001.981779 GOOGLE SCHOLAR

Ziele für nachhaltige Entwicklung

Datenquelle: Scopus