id: 05922161
dt: j
an: 05922161
au: Calvinho, André Vicente; Crespo, Rui Gustavo
ti: Email FI identification and resolution with model checking.
so: J. Netw. Comput. Appl. 34, No. 4, 1441-1446 (2011).
py: 2011
pu: Elsevier, Amsterdam
la: EN
cc: 
ut: 
ci: 
li: doi:10.1016/j.jnca.2011.03.027