Model Checking of Replication Management
| Cím | Model Checking of Replication Management |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2002 |
| Szerzők | Majzik, I., and Darvas, Á. |
| Szerkesztő | Giandomenico, F D. |
| Konferencia neve | Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference |
| Kiadás dátuma | 2002 |
| Kiadó | LAAS-CNRS |
| URL | http://mycite.omikk.bme.hu/doc/16339.pdf |
