[1]	Rémi Parrot, Mikaël Briday, and Olivier H. Roux. Design and verification of pipelined circuits with timed petri nets. Discrete Event Dynamic Systems, 33(1):1--24, dec 2022. [ bib \| DOI \| pdf ]

This file was generated by bibtex2html 1.98.