[1]	Rémi Parrot, Mikaël Briday, and Olivier H Roux. Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinés. In Modélisation des Systèmes Réactifs (MSR'21), Paris, France, November 2021. [ bib \| pdf \| http ]

This file was generated by bibtex2html 1.98.