@inproceedings{parrot-MSR-21,
title = {{R{\'e}seaux de Petri temporis{\'e}s pour la conception et v{\'e}rification de circuits pipelin{\'e}s}},
author = {Parrot, R{\'e}mi and Briday, Mika{\"e}l and Roux, Olivier H},
booktitle = {{Mod{\'e}lisation des Syst{\`e}mes R{\'e}actifs (MSR'21)}},
address = {Paris, France},
year = {2021},
month = nov,
hal_id = {hal-03587736},
hal_version = {v1},
url = {https://hal.archives-ouvertes.fr/hal-03587736},
pdf = {https://hal.archives-ouvertes.fr/hal-03587736/file/MSR2021.pdf}
}
This file was generated by bibtex2html 1.98.