Hartmut König Protocol Engineering - Germany Springer 2012 ISBN: 978-3-642-29145-6 Subjects--Topical Terms: Computer ScienceProtocol Engineering