Mihályi, Daniel; Novitzká, Valerie Towards the knowledge in coalgebraic model of IDS. (English) Zbl 1413.03006 Comput. Inform. 33, No. 1, 61-78 (2014). MSC: 03B70 03B47 68T27 × Cite Format Result Cite Review PDF
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus A quantitative characterization of weighted Kripke structures in temporal logic. (English) Zbl 1413.68073 Comput. Inform. 29, No. 6+, 1311-1324 (2010). MSC: 68Q85 03B44 68Q60 × Cite Format Result Cite Review PDF