Meta data
- BibTeX key
- conf/icccn/GoudaL04
- entry type
- inproceedings
- booktitle
- ICCCN
- year
- 2004
- pages
- 489-494
- publisher
- IEEE
- crossref
- conf/icccn/2004
- ee
- http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9617
- isbn
- 0-7803-8814-3
- url
- http://dblp.uni-trier.de/db/conf/icccn/icccn2004.html#GoudaL04
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icccn/GoudaL04
%A Gouda, Mohamed G.
%A Liu, Alex X.
%B ICCCN
%D 2004
%E Luijten, Ronald P.
%E DaSilva, Luiz A.
%E Engbersen, Antonius P. J.
%I IEEE
%K dblp
%P 489-494
%T Formal Specification and Verification of a Micropayment Protocol.
%U http://dblp.uni-trier.de/db/conf/icccn/icccn2004.html#GoudaL04
%@ 0-7803-8814-3
@inproceedings{conf/icccn/GoudaL04,
added-at = {2005-02-03T00:00:00.000+0100},
author = {Gouda, Mohamed G. and Liu, Alex X.},
biburl = {https://www.bibsonomy.org/bibtex/2d9e16b903cc61d37da5386ca96db3ece/dblp},
booktitle = {ICCCN},
crossref = {conf/icccn/2004},
editor = {Luijten, Ronald P. and DaSilva, Luiz A. and Engbersen, Antonius P. J.},
ee = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9617},
interhash = {0ef079d36b76663dd9fdb5a0acf9b0b3},
intrahash = {d9e16b903cc61d37da5386ca96db3ece},
isbn = {0-7803-8814-3},
keywords = {dblp},
pages = {489-494},
publisher = {IEEE},
timestamp = {2016-03-24T11:46:50.000+0100},
title = {Formal Specification and Verification of a Micropayment Protocol.},
url = {http://dblp.uni-trier.de/db/conf/icccn/icccn2004.html#GoudaL04},
year = 2004
}