An Interleaving Reduction for Reachability Checking in Symbolic Modeling.

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

Browse the full ICTERI paper archive.