Search alternatives:
proving infinite » proving infinitude, proving definite, proving finite
using infinite » using finite, solving infinite
proving infinite » proving infinitude, proving definite, proving finite
using infinite » using finite, solving infinite
|
by Togashi, Atsushi, Mizuno, Tadanori, Shiratori, Norio, Higashino, Teruo
Published 1997
Table of Contents:
“... specifications -- 26 Using a formal description technique to model aspects of a global air traffic...”Published 1997
Springer US