Pages that link to "Item:Q1019005"
From MaRDI portal
The following pages link to Slicing communicating automata specifications: Polynomial algorithms for model reduction (Q1019005):
Displaying 4 items.
- Fast computation of strong control dependencies (Q832318) (← links)
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis (Q2813985) (← links)
- Correctly Slicing Extended Finite State Machines (Q3297841) (← links)