The following pages link to Modular Markovian Logic (Q3012934):
Displaying 7 items.
- Concurrent weighted logic (Q890620) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- (Q4558788) (← links)
- (Q4631191) (← links)
- (Q4845324) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479151) (← links)