Pages that link to "Item:Q2357148"
From MaRDI portal
The following pages link to Efficient abstraction algorithms for predicate detection (Q2357148):
Displaying 6 items.
- Techniques and applications of computation slicing (Q1953245) (← links)
- Translating Xd-C programs to MSVL programs (Q2290648) (← links)
- Modeling, analyzing and slicing periodic distributed computations (Q2637314) (← links)
- Principles of Distributed Systems (Q5466227) (← links)
- Efficient detection of restricted classes of global predicates (Q6084564) (← links)
- Decentralized LTL enforcement (Q6649520) (← links)