Travelled to:1 × USA
Collaborated with:D.E.Thomas
Talks about:synthesi (1) behavior (1) attribut (1) abstract (1) tool (1)
Person: Lawrence F. Arnstein
DBLP: Arnstein:Lawrence_F=
Contributed to:
1994Wrote 1 papers:
- DAC-1994-ArnsteinT #abstraction #behaviour #synthesis #tool support
- The Attributed-Behavior Abstraction and Synthesis Tools (LFA, DET), pp. 557–561.