Pages that link to "Item:Q5280674"
From MaRDI portal
The following pages link to Conditional Partial Order Graphs: Model, Synthesis, and Application (Q5280674):
Displaying 5 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Synthesizing partial orders given comparability information: Partitive sets and slack in critical path networks (Q793664) (← links)
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- Building Bridges Between Sets of Partial Orders (Q2799169) (← links)
- (Q3568817) (← links)