70760680

a

70760680 Probst, David K. Li, Hon Fung Using partial-order semantics to avoid the state explosion problem in asynchronous systems CAV, 146-155 (1990). 1990 EN

doi:10.1007/BFb0023728