Authors: Petrenko, A Ulrich, A Chapenko, VP Timohovich, EA

Citation: A. Petrenko et al., Model of partial ordering for use in testing concurrent systems, AUTOM C C S, 32(6), 1998, pp. 10-18