Implicit data structures for logic and stochastic systems analysis
2005 ◽
Vol 32
(4)
◽
pp. 4-9
◽
1980 ◽
Vol 21
(2)
◽
pp. 236-250
◽
1983 ◽
Vol 96
(2)
◽
pp. 330-340
◽
1985 ◽
Vol 66
(1-2)
◽
pp. 61-82
◽
1988 ◽
Vol 29
(4)
◽
pp. 183-189
◽
1995 ◽
Vol 02
(02)
◽
pp. 203-224
◽