Efficient Algorithm for Reachability Checking in Modeling.

Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Browse the full ICTERI paper archive.