Didier Vergamini. Verification of distributed systems: an experiment. In Jean-Eric Pin, editor, Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 25-29, 1987, Proceedings. Volume 386 of Lecture Notes in Computer Science, pages 249-259, Springer, 1988.
@inproceedings{Vergamini88, title = {Verification of distributed systems: an experiment}, author = {Didier Vergamini}, year = {1988}, researchr = {https://researchr.org/publication/Vergamini88}, cites = {0}, citedby = {0}, pages = {249-259}, booktitle = {Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 25-29, 1987, Proceedings}, editor = {Jean-Eric Pin}, volume = {386}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-51631-X}, }