Périodique

Using Partial-Orders ...

Petrenko, A., Ulrich, A., Chapenko, V. P. and Timokhovich, E. A. "Using Partial-Orders for Detecting Faults in Concurrent Systems" Automatic Control and Computer Sciences, 33 (1)