Vol-1355⫷ Vol-1356 ⫸Vol-1357
urn:nbn:de:0074-1356-0


None⫷None⫸None
Oleksandr A. LetychevskyiVladimir S. PeschanenkoAlexander A. Letichevsky

An Interleaving Reduction for Reachability Checking in Symbolic Modeling