Browsing by Subject "CTL"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item type:Thesis, Access status: Restricted , An automaton-based approach to chosen systems of temporal logic - theory and application(Data obrony: 2019-09-12) Burczyk, Katarzyna
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej