The following pages link to (Q2769607):
Displayed 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)
- A decision diagram operation for reachability (Q6132656) (← links)