Old Web
English
Sign In
Acemap
>
Paper
>
Synthesis and Verification of Models using Satisfiability Modulo Theories
Synthesis and Verification of Models using Satisfiability Modulo Theories
2020
Nafiseh Kahani
Keywords:
Satisfiability modulo theories
Finite-state machine
Algebra
Model transformation
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
3
Citations
NaN
KQI
[]