Design and verification of pipelined circuits with Timed Petri Nets
Crossref DOI link: https://doi.org/10.1007/s10626-022-00371-7
Published Online: 2022-12-15
Published Print: 2023-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Parrot, Rémi http://orcid.org/0000-0002-1943-8171
Briday, Mikaël
Roux, Olivier H.
Text and Data Mining valid from 2022-12-15
Version of Record valid from 2022-12-15
Article History
Received: 16 March 2022
Accepted: 8 November 2022
First Online: 15 December 2022
Declarations
:
: The authors declare that they have no conflict of interest.