Gate splitting in LOTOS specifications using abstract interpretation

Articolo
Data di Pubblicazione:
1994
Abstract:
Sommario non disponibile.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Gate splitting; LOTOS specifications
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/231752
Pubblicato in:
SCIENCE OF COMPUTER PROGRAMMING
Journal