"Tools and Algorithms for the Construction and Analysis of Systems, 12 conf., TACAS 2006" - читать интересную книгу автора (Holger Hermanns, Jens Palsberg)