Search alternatives:
structural foundations » structural conditions, structural fluctuations, structural equations
structure functions » structure function
Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... State Systems: Deduction and Abstraction -- Synthesis of Linear Ranking Functions -- Automatic Deductive...”
Cover Image
Read Now

2
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Divide and Conquer -- Towards Parallel Boolean Functional Synthesis -- Encodings of Bounded Synthesis...”
Cover Image
Read Now

3
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... for Markov Automata -- SAT and SMT -- HiFrog: SMT-based Function Summarization for Software Verification...”