Testing Equivalences of Time Petri Nets
Crossref DOI link: https://doi.org/10.1134/S0361768820040040
Published Online: 2020-08-08
Published Print: 2020-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bozhenkova, E. N.
Virbitskaite, I. B.
Text and Data Mining valid from 2020-07-01
Version of Record valid from 2020-07-01
Article History
Received: 10 February 2020
Revised: 20 February 2020
Accepted: 15 March 2020
First Online: 8 August 2020