TY  - CONF

T1  - Formal specification and testing of a management architecture

JO  - INTEGRATED NETWORK MANAGEMENT V

PY  - 1997/01/01

AU  - Fernandes GPA

AU  - Derrick J

ED  - Lazar AA

ED  - Saracco R

ED  - Stadler R

SP  - 473

EP  - 484

Y2  - 2024/12/22

ER  -