Cite
APA 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. Berlin, Heidelberg : Springer. http://access.bl.uk/ark:/81055/vdc_100078186345.0x000001