@inproceedings{inproceedings, title  = {{Timed CSP and Object-Z}},

 url = {{}},

 year = {{2003}},

 month = {{1}},

 author = {{Derrick J}},

 volume = {{2651}},

 journal = {{ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B}},

 pages = {{300-318}},

 note = {{Accessed on 2024/12/26}}}