@dblp

Efficient Algorithm for Reachability Checking in Modeling.

, , and . ICTERI, volume 848 of CEUR Workshop Proceedings, page 71-81. CEUR-WS.org, (2012)

Links and resources

Tags