Travelled to:
1 × Canada
Collaborated with:
R.Cleaveland
Talks about:
preorder (1) diagnost (1) behavior (1) generat (1) inform (1)
Person: Ufuk Celikkan
DBLP: Celikkan:Ufuk
Contributed to:
Wrote 1 papers:
- CAV-1992-CelikkanC #behaviour #generative
- Generating Diagnostic Information for Behavioral Preorders (UC, RC), pp. 370–383.