About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation.
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko
VenueNationalICTERI
Year2012
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/LetichevskyLP12a ↗
Browse the full ICTERI paper archive.