TITLE     : Towards automatic temporal logic verification of value passing   process algebra using abstract interpretation
AUTHOR(S) : Fantechi A, Gnesi S, Latella D
TYPE      : Conference article
YEAR      : 1996
CODE      : 190738

*** DO NOT EDIT THIS FILE ***