TY  - CONF

T1  - Timed CSP and Object-Z

JO  - ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B

PY  - 2003/01/01

AU  - Derrick J

ED  - Bert D

ED  - Bowen JP

ED  - King S

ED  - Walden M

VL  - 2651

SP  - 300

EP  - 318

Y2  - 2024/12/22

ER  -