search result

Cover von Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics

Year: 2015
Media group: LIPIcs
Cover von Mathematical Foundations of Software Engineering
Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement
Search for this author
Year: 2022
Publisher: London, College Publications
Series: Tributes; 45
Media group: MONOGRAPHIE
OPEN V 11.1.0.0