The following pages link to (Q2769607):
Displaying 5 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- A sweep-line algorithm for the inclusion hierarchy among circles (Q2493494) (← links)
- Lazy slicing for state-space exploration (Q2637297) (← links)