@ ARTICLE{TrcekK-2008-elseviercsi,
   author        = {Tr\v{c}ek, Denis and Kova\v{c}, Damjan},
   title         = {{Formal Appartus for Measurement of Lightweight Protocols}},
   journal     = {Computer Standard \& Interface, Elsevier},
   year          = {2008},
   volume        = {In Press, Corrected Proof},
   number        = {},
   pages         = {},
   month         = {},
   bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}