✓

@book{book_98358111,
    title = {Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday},
    author = {Jean-François Raskin and Krishnendu Chatterjee and Laurent Doyen and Rupak Majumdar},
    publisher = {Springer},
    isbn = {3031223365; 9783031223365},
    year = {2022},
    series = {Lecture Notes in Computer Science, 13660},
    url = {libgen.li/file.php?md5=47525e44c3522fe7b256fb5d19c6c832},
    date-added = {2026-3-20 15:7:14 +0100}
}

@book{book_98358111, title = {Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday}, author = {Jean-François Raskin and Krishnendu Chatterjee and Laurent Doyen and Rupak Majumdar}, publisher = {Springer}, isbn = {3031223365; 9783031223365}, year = {2022}, series = {Lecture Notes in Computer Science, 13660}, url = {libgen.li/file.php?md5=47525e44c3522fe7b256fb5d19c6c832}, date-added = {2026-3-20 15:7:14 +0100} }