Publications
(1991).
(2007).
(1994).
(2002).
(1977).
(1977).
(2004).
Security Challenges of the EPC Network.
121-125.
(2009). On the security of ping-pong protocols.
55(1-3), 57-68.
(1982).
(2012).
(2009).
(1998).
(2001).
(2012).
(1984).
(1996).
(2007).
(2001).
(2004).
(1997). Some Decidability Results on Grammatical Inference and Complexity.
20(3), 244-262.
(1972).
(1961). Space.
16-27.
(1971).
(2009).
(2003).