@InProceedings{erkok-dttc-04,
   author    = "Levent {Erk\"{o}k}",
   title     = "Formal verification of controller transactions using 
                {C}omputation {T}ree {L}ogic",
   booktitle = "Intel Design and Test Technology Conference, {DTTC'04}",
   year      = "2004",
   month     = "August",
}