id: 50196841
dt: j
an: 50196841
au: Liang, Qianhui; Rubin, Stuart Harvey
ti: Rule randomisation and its application to logic-based workflow verification
so: IJIDS 1, No. 3, 265-281 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1504/IJIDS.2009.027655