Pages that link to "Item:Q5902010"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5902010):
Displaying 4 items.
- Repeated detection of conjunctive predicates in distributed executions (Q1944920) (← links)
- Predicate detection for parallel computations with locking constraints (Q3174942) (← links)
- On Detecting Regular Predicates in Distributed Systems (Q3648715) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896942) (← links)