TY  - CONF

T1  - A Junction between State Based and Behavioural Specification (Invited Talk).

JO  - FMOODS

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

PY  - 1999/01/01

AU  - Bowman H

AU  - Derrick J

ED  - Ciancarini P

ED  - Fantechi A

ED  - Gorrieri R

PB  - Kluwer

VL  - 139

SP  - 213

EP  - 239

Y2  - 2024/12/22

ER  -