"Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007" - читать интересную книгу автора (Orna Grumberg, Michael Huth)