Modal mu-Calculus with Distances

• Authors: BRIM Luboš
• Year of publication: 1994
• Type: Article in Periodical
• Magazine / Source: Scripta Fac.Brun.
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software

Related projects

• Analysis of Concurrent Infinite State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing