 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Author="Hong, Silien" |
|
The NEO protocol for large-scale distributed database systems: Modelling and initial verification
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)
Lecture Notes in Computer Science
6128
, 2010, pp. 145-164
| Editors | Johan Lilius, Wojciech Penczek | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://springerlink.metapress.com/content/jj240186654x17rq/fulltext.pdf | |
|
|
|
|