On-line timed protocol trace analysis based on uncertain state descriptions
2007 ◽
Vol 1143
(1-2)
◽
pp. 270-275
◽
1991 ◽
Vol 3
(1)
◽
pp. 11-16
◽
1972 ◽
Vol 5
(9)
◽
pp. 351-353
◽
1997 ◽
Vol 788
(1-2)
◽
pp. 113-119
◽
2003 ◽
Vol 1000
(1-2)
◽
pp. 917-934
◽
Keyword(s):