Temporal Verification Of Reactive Systems: Safety

Manna, Zohar

Temporal Verification Of Reactive Systems: Safety - Springer - XVIII, 512 p.

9780387944593

4.0151 / MAN