Pages that link to "Item:Q5308393"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308393):
Displaying 5 items.
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Risk assessment for one-counter threads (Q1015382) (← links)
- Testing Distributed Systems Through Symbolic Model Checking (Q3612360) (← links)
- (Q4417499) (← links)
- Spread the work: multi-threaded safety analysis for hybrid systems (Q6039384) (← links)