id: 70760680
dt: a
an: 70760680
au: Probst, David K.; Li, Hon Fung
ti: Using partial-order semantics to avoid the state explosion problem in
    asynchronous systems
so: CAV, 146-155 (1990).
py: 1990
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/BFb0023728