Unreliable components with fast repair and dynamic network restoration

von Oikonomou, Kostas N.
Veröffentlicht in Telecommunications planning: innovations in pricing, network design and management (2006)

Fixpoint representations of characteristic sets of linear-time temporal formulas

von Kranakis, Evangelos
Veröffentlicht 1987