Model Checking of Replication Management
| Title | Model Checking of Replication Management |
| Publication Type | Conference Paper |
| Year of Publication | 2002 |
| Authors | Majzik, I., and Darvas, Á. |
| Editor | Giandomenico, F D. |
| Conference Name | Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference |
| Date Published | 2002 |
| Publisher | LAAS-CNRS |
| URL | http://mycite.omikk.bme.hu/doc/16339.pdf |
