Normal view
MARC view
Peled, Doron A., 1962- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FORTE 2002 (2002 : Houston, Tex.) 17134, Formal techniques for networked and distributed systems--FORTE 2002 :, 2002.