Normal view
MARC view
Trakhtenbrot, Mark (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)748266: Harel, David 787777, Statemate a Working Environment for Development of Complex Reactive Systems