Publications
Export 1 results:
Author Title [ Type
] Year Filters: Keyword is Probabilistic temporal logic [Clear All Filters]
2005. Probabilistic temporal logics via the modal mu-calculus. Theoretical Computer Science. 342(2-3):316-350.
] Year