@article{parrot-DEDS-22,
year = 2022,
month = {dec},
publisher = {Springer Science and Business Media {LLC}},
volume = {33},
number = {1},
pages = {1--24},
author = {R{\'{e}}mi Parrot and Mikaël Briday and Olivier H. Roux},
title = {Design and verification of pipelined circuits with Timed Petri Nets},
journal = {Discrete Event Dynamic Systems},
doi = {10.1007/s10626-022-00371-7},
pdf = {https://hal.science/hal-03952519/document}
}
This file was generated by bibtex2html 1.98.