Search results for: Scott A. Smolka
Nonlinear Analysis: Hybrid Systems > 2017 > 23 > C > 272-286
Formal Methods in System Design > 2017 > 51 > 1 > 62-86
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 563-569
Lecture Notes in Computer Science > Model-Driven Development of Reliable Automotive Services > Quality Assurance > 84-97
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 147-162
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Case Studies > 74-88
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite and Parameterized Systems > 172-187
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 391-395