A minimal input-output configuration for a priori identifiability of a compartmental model of leucine metabolism | IEEE Journals & Magazine | IEEE Xplore