Approximate verification of concurrent systems using token structures and invariants
Crossref DOI link: https://doi.org/10.1007/s10009-022-00650-6
Published Online: 2022-04-07
Published Print: 2022-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Antonino, Pedro
Gibson-Robinson, Thomas
Roscoe, A. W.
Text and Data Mining valid from 2022-04-07
Version of Record valid from 2022-04-07
Article History
First Online: 7 April 2022