11 results on '"Barbara König"'
Search Results
2. Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
3. (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras.
4. Up-To Techniques for Behavioural Metrics via Fibrations.
5. A General Framework for Well-Structured Graph Transformation Systems.
6. Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.
7. Unfolding-Based Diagnosis of Systems with an Evolving Topology.
8. Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.
9. A Static Analysis Technique for Graph Transformation Systems.
10. Generating Type Systems for Process Graphs.
11. CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.