TITLE     : Rapid prototyping of verifiers for observation and testing equivalences
AUTHOR(S) : Bolognesi T, Carchiolo E
TYPE      : Other
YEAR      : 1986
CODE      : 419754

*** DO NOT EDIT THIS FILE ***