TY - BOOK AU - Muth, Thomas TI - Modeling telecom networks and systems architecture: conceptual tools and formal methods SN - 9788184893731 U1 - 621.3821 MUT PY - 2001/// CY - Berlin PB - Springer ER -