Thomas A. Henzinger · 6 obras en el catálogoObrasFormal Modeling and Analysis of Timed SystemsMathematical and Engineering Methods in Computer ScienceHandbook of Model CheckingCComputational Methods in Systems BiologyComputational Methods in Systems BiologyEEmbedded SoftwareEmbedded SoftwareCComputer Science LogicComputer Science Logic
