Thomas A. HenzingerBooksComputational Methods in Systems BiologyHandbook of Model CheckingComputer Science LogicMathematical and Engineering Methods in Computer ScienceEmbedded SoftwareFormal Modeling and Analysis of Timed SystemsAuthor data: Open Library
