. . "Sanchez, Arturo, 1963-" . _:b7iddOtlocdOtgovauthoritiesnamesn96014393 . _:b7iddOtlocdOtgovauthoritiesnamesn96014393 _:b8iddOtlocdOtgovauthoritiesnamesn96014393 . _:b7iddOtlocdOtgovauthoritiesnamesn96014393 _:b010 . _:b8iddOtlocdOtgovauthoritiesnamesn96014393 . _:b8iddOtlocdOtgovauthoritiesnamesn96014393 "Sanchez, Arturo," . _:b010 _:b11iddOtlocdOtgovauthoritiesnamesn96014393 . _:b010 . _:b11iddOtlocdOtgovauthoritiesnamesn96014393 . _:b11iddOtlocdOtgovauthoritiesnamesn96014393 "1963-" . "10010$aSanchez, Arturo,$d1963-" . . . . . . . . "Sanchez, Arturo, 1963-" . . . . "Sanchez, Arturo, 1963- Formal specification and synthesis of procedural controllers for process systems" . . . "n 96014393" . _:b34iddOtlocdOtgovauthoritiesnamesn96014393 . _:b34iddOtlocdOtgovauthoritiesnamesn96014393 . _:b34iddOtlocdOtgovauthoritiesnamesn96014393 "Formal specification and synthesis of procedural ... 1996:" . _:b34iddOtlocdOtgovauthoritiesnamesn96014393 "t.p. (Arturo Sanchez) t.p. verso, etc. (Dr.; Centre for Systems Process Engineer., Imperial Coll., London, UK; b. 02-21-63)" . _:b34iddOtlocdOtgovauthoritiesnamesn96014393 "found" . _:b42iddOtlocdOtgovauthoritiesnamesn96014393 . _:b42iddOtlocdOtgovauthoritiesnamesn96014393 . _:b42iddOtlocdOtgovauthoritiesnamesn96014393 "1996-02-15T00:00:00"^^ . _:b42iddOtlocdOtgovauthoritiesnamesn96014393 "new"^^ . _:b42iddOtlocdOtgovauthoritiesnamesn96014393 . . "Sanchez, Arturo, 1963-" . . . _:b54iddOtlocdOtgovauthoritiesnamesn96014393 . _:b54iddOtlocdOtgovauthoritiesnamesn96014393 . _:b54iddOtlocdOtgovauthoritiesnamesn96014393 . _:b54iddOtlocdOtgovauthoritiesnamesn96014393 . _:b54iddOtlocdOtgovauthoritiesnamesn96014393 "1996-02-15T00:00:00"^^ . _:b54iddOtlocdOtgovauthoritiesnamesn96014393 "new"^^ .