Changeset 5952c91 for doc


Ignore:
Timestamp:
Apr 17, 2020, 5:20:57 PM (18 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
arm-eh, jacob/cs343-translation, master, new-ast, new-ast-unique-expr
Children:
899dfbb
Parents:
c20ba169
Message:

add bibliography entries

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    rc20ba169 r5952c91  
    45664566}
    45674567
     4568@inproceedings{Fang06,
     4569    author      = {Fang, Yi and McMillan, Kenneth L. and Pnueli, Amir and Zuck, Lenore D.},
     4570    editor      = {Najm, Elie and Pradat-Peyre, Jean-Fran{\c{c}}ois and Donzeau-Gouge, V{\'e}ronique Vigui{\'e}},
     4571    title       = {Liveness by Invisible Invariants},
     4572    booktitle   = {Formal Techniques for Networked and Distributed Systems - FORTE 2006},
     4573    year        = 2006,
     4574    publisher   = {Springer Berlin Heidelberg},
     4575    address     = {Berlin, Heidelberg},
     4576    pages       = {356--371},
     4577}
     4578
    45684579@article{Pierce00,
    45694580    keywords    = {Scala, polymorphism, subtyping, type inference},
     
    66566667}
    66576668
     6669@article{Aravind09,
     6670    author      = {Alex A. Aravind and Wim H. Hesselink},
     6671    title       = {A Queue Based Mutual Exclusion Algorithm},
     6672    journal     = acta,
     6673    volume      = 46,
     6674    pages       = {73--86},
     6675    year        = 2009,
     6676}
     6677
    66586678% R
    66596679
Note: See TracChangeset for help on using the changeset viewer.