Formal verification of OIL component specifications using mCRL2
Crossref DOI link: https://doi.org/10.1007/s10009-022-00658-y
Published Online: 2022-04-21
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bunte, Olav
van Gool, Louis C. M.
Willemse, Tim A. C.
Text and Data Mining valid from 2022-04-21
Version of Record valid from 2022-04-21
Article History
Accepted: 8 March 2022
First Online: 21 April 2022
Declarations
:
: The authors declare that they have no conflict of interest.