TY  - CONF

T1  - Disjunction of LOTOS Specifications.

JO  - FORTE

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

PY  - 1997/01/01

AU  - Steen M

AU  - Bowman H

AU  - Derrick J

AU  - Boiten EA

ED  - Togashi A

ED  - Mizuno T

ED  - Shiratori N

ED  - Higashino T

PB  - Chapman & Hall

VL  - 107

SP  - 177

EP  - 192

Y2  - 2024/12/22

ER  -