Normal view
MARC view
Derrick, John, 1963- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FORTE 2007 (2007 : Tallinn, Estonia) 23746, Formal techniques for networked and distributed systems-- FORTE 2007 :, ©2007.