Old Web
English
Sign In
Acemap
>
authorDetail
>
Florian Funkev
Florian Funkev
Dresden University of Technology
Nondeterministic algorithm
Transpose
Component (UML)
control
Probabilistic logic
1
Papers
1
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
Responsibility and verification: Importance value in temporal logics
2021
LICS | Logic in Computer Science
Corto Mascle
Christel Baier
Florian Funkev
Simon Jantsch
Stefan Kiefer
Show All
Source
Cite
Save
Citations (1)
1