Machine generated authority record.

Work cat.: (UQROO)69493: Abdulla, Parosh Aziz. editor. 175825, Tools and Algorithms for the Construction and Analysis of Systems