Changeset 5952c91
- Timestamp:
- Apr 17, 2020, 5:20:57 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 899dfbb
- Parents:
- c20ba169
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
rc20ba169 r5952c91 4566 4566 } 4567 4567 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 4568 4579 @article{Pierce00, 4569 4580 keywords = {Scala, polymorphism, subtyping, type inference}, … … 6656 6667 } 6657 6668 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 6658 6678 % R 6659 6679
Note: See TracChangeset
for help on using the changeset viewer.