Cite
HARVARD Citation
Unknown (2018) Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. [Online]. Berlin, Heidelberg : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100078186345.0x000001