State Dependent Behavioral Aspects of Objects: Automatic Synthesis
Keyword(s):
1969 ◽
Vol 30
(3)
◽
pp. 598-608
◽
2016 ◽
Vol 21
(6)
◽
pp. 751-769
◽