BibSonomy
::
bibtex
::
tag
user
group
author
concept
BibTeX key
search:all
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
publications
(1)
previous | 1 | next
Verification of Payment Protocols via MultiAgent Model Checking.
Massimo
Benerecetti
and Maurizio
Panti
and Luca
Spalazzi
and Simone
Tacconi
CAiSE
311-327 (2002)
to
dblp
by
dblp
on 2002-10-22 00:00:00
|
URL
|
BibTeX
previous | 1 | next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
dblp
::
::
