@inproceedings{inproceedings, title  = {{A Junction between State Based and Behavioural Specification (Invited Talk).}},

 publisher = {{Kluwer}},

 url = {{http://www.informatik.uni-trier.de/~ley/db/conf/fmoods/fmoods1999.html }},

 year = {{1999}},

 month = {{1}},

 author = {{Bowman H and Derrick J}},

 volume = {{139}},

 journal = {{FMOODS}},

 pages = {{213-239}},

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