An improved protocol test generation procedure based on UIOS
1989 ◽
Vol 19
(4)
◽
pp. 283-294
◽
1988 ◽
Vol 15
(4)
◽
pp. 285-297
◽
2000 ◽
Vol 19
(5)
◽
pp. 589-600
◽
1997 ◽
Vol 16
(5)
◽
pp. 544-554
◽