E-process design and assurance using model checking
Wang, W., Hidvegi, Z., Bailey, A.D., Jr., Whinston, A.B.Volume:
33
Year:
2000
Language:
english
Pages:
6
DOI:
10.1109/2.876292
File:
PDF, 208 KB
english, 2000