Back to Results
First PageMeta Content



Introduction Results Conclusion Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra Baltasar Trancón y Widemann
Add to Reading List

Document Date: 2014-11-18 15:29:15


Open Document

File Size: 274,69 KB

Share Result on Facebook