Search

Your search keyword '"Massink M."' showing total 9 results

Search Constraints

Start Over You searched for: Author "Massink M." Remove constraint Author: "Massink M." Topic computer science::logic in computer science Remove constraint Topic: computer science::logic in computer science
9 results on '"Massink M."'

Search Results

1. Geometric Model Checking of Continuous Space

2. Towards spatial bisimilarity for closure models: logical and coalgebraic characterisations

3. A Definition Scheme for Quantitative Bisimulation

4. Qualitative and quantitative monitoring of spatio-temporal properties. Extended version

5. A spatio-temporal model-checker

6. Bisimulation of labeled state-to-function transition systems of stochastic process languages

7. Notes on non-Markovian Extension of Value Passing CCS

8. Modular semantics for a UML statechart diagrams kernel and their extension to multicharts and branching time model checking

9. Automated verification of quantum protocols using MCMAS

Catalog

Books, media, physical & digital resources