Formal techniques for networked and distributed systems - FORTE 2002 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002 ; proceedings (Springer, 2002)
Literaturangaben