Pages that link to "Item:Q2024368"
From MaRDI portal
The following pages link to View abstraction for systems with component identities (Q2024368):
Displaying 4 items.
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- Discovering and correcting a deadlock in a channel implementation (Q2322306) (← links)
- View-augmented abstractions (Q2814101) (← links)
- View abstraction -- a tutorial (invited paper) (Q5240148) (← links)