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