Changeset 8f079f0 for doc/papers/concurrency/annex

Timestamp:

Jun 23, 2019, 11:41:59 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b60ed54

Parents:

f2f22e3

Message:

Thierry changes to draft

File:

• doc/papers/concurrency/annex/local.bib (modified) (1 diff)

doc/papers/concurrency/annex/local.bib

@@ -66 +66 @@
 }
 
-@article{BankTransfer,
+@misc{BankTransfer,
         key     = {Bank Transfer},
         keywords        = {Bank Transfer},
         title   = {Bank Account Transfer Problem},
-        publisher       = {Wiki Wiki Web},
-        address = {http://wiki.c2.com},
+        howpublished    = {Wiki Wiki Web, \url{http://wiki.c2.com/?BankAccountTransferProblem}},
         year            = 2010
 }