TY  - CONF

T1  - Comparing LOTOS and Z Refinement Relations.

JO  - FORTE

UR  - http://www.informatik.uni-trier.de/~ley/db/conf/forte/forte1996.html

PY  - 1996/01/01

AU  - Derrick J

AU  - Bowman H

AU  - Boiten EA

AU  - Steen M

ED  - Gotzhein R

ED  - Bredereke J

PB  - Chapman & Hall

VL  - 69

SP  - 501

EP  - 516

Y2  - 2024/12/22

ER  -