1
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... -- Validating SCTP Simultaneous Open Procedure -- Improving Time Bounded Reachability Computations...