Pierre Azéma, François Vernadat, Jean Christophe Lloret. Spécification Logique de Protocoles de Communication à l aide de Réseaux Prédicat/Transition Etiquetés. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 187-212, 1989.
@inproceedings{AzemaVL89:0,
title = {Spécification Logique de Protocoles de Communication à l aide de Réseaux Prédicat/Transition Etiquetés},
author = {Pierre Azéma and François Vernadat and Jean Christophe Lloret},
year = {1989},
tags = {protocol},
researchr = {https://researchr.org/publication/AzemaVL89%3A0},
cites = {0},
citedby = {0},
pages = {187-212},
booktitle = {SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France},
editor = {Serge Bourgault and Mehmet Dincbas},
}