Formal verification of cP systems using Coq
Crossref DOI link: https://doi.org/10.1007/s41965-021-00080-4
Published Online: 2021-08-24
Published Print: 2021-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Liu, Yezhou http://orcid.org/0000-0002-9296-7408
Nicolescu, Radu
Sun, Jing
Text and Data Mining valid from 2021-08-24
Version of Record valid from 2021-08-24
Article History
Received: 30 April 2021
Accepted: 23 July 2021
First Online: 24 August 2021