Compositional specification of controllers for batch process operations
2000 ◽
Vol 24
(2-7)
◽
pp. 1625-1631
◽
2000 ◽
Vol 24
(2-7)
◽
pp. 1159-1165
◽
1999 ◽
Vol 31
(6)
◽
pp. 763-792
◽
1998 ◽
Vol 31
(11)
◽
pp. 455-460
◽
1996 ◽
pp. 660-705
◽
1997 ◽
Vol 21
(1-2)
◽
pp. S1067-S1072
◽