EPTCS 78 - IWIGP 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-4229
- ask others
Johannes Reich, Bernd Finkbeiner (Eds.): Proceedings Second International Workshop on Interactions, Games and Protocols. 2012 EPTCS 78 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-4506
- ask others
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis: Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. ... 1-14
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-4507
- ask others
Yoshifumi Manabe, Tatsuaki Okamoto: A Cryptographic Moving-Knife Cake-Cutting Protocol. ... 15-23
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-4508
- ask others
Johannes Reich: Processes, Roles and Their Interactions. ... 24-38
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-4509
- ask others
Simon Busard, Charles Pecheur: Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. ... 39-53