BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

A Library for Secure Multi-threaded Information Flow in Haskell.

CSF, : 187-202, 2007.
Authors: Ta-Chung Tsai and Alejandro Russo and John Hughes
URL: http://dblp.uni-trier.de/db/conf/csfw/csf2007.html#TsaiRH07
Description: dblp
Tags: dblp
| URL | BibTeX  
@inproceedings{conf/csfw/TsaiRH07,
title = {A Library for Secure Multi-threaded Information Flow in Haskell.},
author = {Ta-Chung Tsai and Alejandro Russo and John Hughes},
booktitle = {CSF},
crossref = {conf/csfw/2007},
pages = {187-202},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/csfw/csf2007.html#TsaiRH07},
year = {2007},
description = {dblp},
ee = {http://dx.doi.org/10.1109/CSF.2007.6}, date = {2008-04-25},
keywords = {dblp }
}