Travelled to:2 × USA
Collaborated with:R.Hojati R.K.Brayton D.Blaauw D.G.Saab J.A.Abraham J.T.Rahmeh
Talks about:descript (1) behavior (1) languag (1) generat (1) contain (1) automat (1) switch (1) improv (1) model (1) level (1)
Person: Robert B. Mueller-Thuns
DBLP: Mueller-Thuns:Robert_B=
Contributed to:
1994
1989Wrote 2 papers:
- CAV-1994-HojatiMB #graph #using
- Improving Language Containment Using Fairness Graphs (RH, RBMT, RKB), pp. 391–403.
- DAC-1989-BlaauwSMAR #automation #behaviour #generative #modelling
- Automatic Generation of Behavioral Models from Switch-Level Descriptions (DB, DGS, RBMT, JAA, JTR), pp. 179–184.