Old Web
English
Sign In
Acemap
>
authorDetail
>
í Barnat
í Barnat
Masaryk University
Syntax
Markov decision process
Expressivity
Interval temporal logic
Model checking
1
Papers
2
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Timed automata approach to verification of systems with degradation
2011
MEMICS | Mathematical and Engineering Methods in Computer Science
Ji
í Barnat
Ivana Čern
Jana Tůmov
Show All
Source
Cite
Save
Citations (2)
1