Analyzing Network Management Effects with SPIN and cTLA.

Gerrit Rothmaier Andre Pohl Heiko Krumm Analyzing Network Management Effects with SPIN and cTLA. 65-82 2004 conf/sec/2004 SEC db/conf/sec/sec2004.html#RothmaierPK04