Paper

Type

ARTICLE  

Title

Modelling global computations with Klaim  

Authors

Rocco De Nicola, Michele Loreti 

Editors

Marta Kwiatkowska Tom Rodden Vladimiro Sassone  

Book

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  

Pages

3737-3745  

Volume

366  

Number

1881  

Year

2008  

Bibtex key

DL08  

Paper Url1

http://journals.royalsociety.org/content/e5284g536632n6ng/  

Bibtex

@ARTICLE{DL08,
  title = {{Modelling global computations with Klaim}},
  author = {De Nicola, Rocco and Loreti, Michele},
  journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
  editor = {Marta Kwiatkowska Tom Rodden Vladimiro Sassone},
  pages = {3737-3745},
  volume = {366},
  number = {1881},
  year = {2008},
  url = {http://journals.royalsociety.org/content/e5284g536632n6ng/},
  publisher = {Royal Society},
}

 

Created

0000-00-00 00:00:00  

Modified

2008-10-30 15:22:25