CITATION STYLE
Hailpern, B. (1985). Tools for Verifying Network Protocols. In Logics and Models of Concurrent Systems (pp. 57–76). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-82453-1_3
Mendeley helps you to discover research relevant for your work.