Gate splitting in LOTOS specifications using abstract interpretation

Academic Article
Publication Date:
1994
abstract:
An abstract is not available.
Iris type:
01.01 Articolo in rivista
Keywords:
Gate splitting; LOTOS specifications
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/231752
Published in:
SCIENCE OF COMPUTER PROGRAMMING
Journal