|
by Togashi, Atsushi, Mizuno, Tadanori, Shiratori, Norio, Higashino, Teruo
Published 1997
Table of Contents:
“...15 Validating protocol composition for progress by parallel step reachability analysis -- 16...”Published 1997
Springer US