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:  

Using probabilistic Kleene algebra pKA for protocol verification.

J. Log. Algebr. Program., 76(1): 90-111, 2008.
Authors: A. K. McIver and C. Gonzalia and E. Cohen and C. C. Morgan
URL: http://dblp.uni-trier.de/db/journals/jlp/jlp76.html#McIverGCM08
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/jlp/McIverGCM08,
title = {Using probabilistic Kleene algebra pKA for protocol verification.},
author = {A. K. McIver and C. Gonzalia and E. Cohen and C. C. Morgan},
journal = {J. Log. Algebr. Program.},
number = {1},
pages = {90-111},
url = {http://dblp.uni-trier.de/db/journals/jlp/jlp76.html#McIverGCM08},
volume = {76},
year = {2008},
description = {dblp},
ee = {http://dx.doi.org/10.1016/j.jlap.2007.10.005}, date = {2008-06-25},
keywords = {dblp }
}