A formal method for finite relation model based on symbolic logic
2010 ◽
Vol 36
(3)
◽
pp. 497-511
◽
2008 ◽
Vol 51
(S1)
◽
pp. 72-80
◽
2006 ◽
Vol 100
(2)
◽
pp. 528-534
◽
Keyword(s):