Pages that link to "Item:Q988163"

The following pages link to Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163):

Displaying 3 items.

• Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
• Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
• Lazy slicing for state-space exploration (Q2637297) (← links)