Yes, that's exactly the process along with examination of incoming frequency of time carrier signal.
All satellites are geo stationary so as unit picks each one up it calculates distance from it and when enough have been found gives a circle of overlapping signals, in which it knows unit is in...