Charles Pecheur. Advanced Modelling and Verification Techniques Applied to a Cluster File System. In ASE. pages 119-126, 1999. [doi]
@inproceedings{Pecheur99, title = {Advanced Modelling and Verification Techniques Applied to a Cluster File System}, author = {Charles Pecheur}, year = {1999}, url = {http://computer.org/proceedings/ase/0415/04150119abs.htm}, researchr = {https://researchr.org/publication/Pecheur99}, cites = {0}, citedby = {0}, pages = {119-126}, booktitle = {ASE}, }