TITLE     : Action versus state based logics for transition systems
AUTHOR(S) : De Nicola R, Vaandrager F
TYPE      : Conference article
YEAR      : 1990
CODE      : 452779

*** DO NOT EDIT THIS FILE ***