Search results for: Thomas A. Henzinger
Information and Computation > 2017 > 254 > P2 > 143-166
Nonlinear Analysis: Hybrid Systems > 2017 > 23 > C > 166-190
Biosystems > 2016 > 149 > C > 15-25
Lecture Notes in Computer Science > Automata, Languages and Programming > Track B: Invited Lectures > 1-15
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Assume-Guarantee Reasoning > 261-275
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Efficient Model-Checking > 299-314
Lecture Notes in Computer Science > Hybrid Systems II > 252-264
Formal Methods in System Design > 2017 > 50 > 2-3 > 97-139
Acta Informatica > 2017 > 54 > 8 > 765-787