Normal view
MARC view
Suzuki, Kenji (Professor of engineering) (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FORTE 2008 (2008 : Tokyo, Japan) 30805, Formal techniques for networked and distributed systems--FORTE 2008 :, ©2008.