Omega-krr Group
Omega-krr Group
News
People
Current People
Alumni
Events
Research
Publication
Thesis
Honor
Projects
Patents
Software copyrights
Contact
Light
Dark
Automatic
Erman Acar
Latest
Uniform Interpolation Closure for Branching Time Temporal Logics.
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
On Sufficient and Necessary Conditions in Bounded CTL.
Cite
×