1
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Properties of the Resource Reservation Protocol -- Hierarchical Timed High Level Nets and Their Branching...