Document is current

Any future updates will be listed below

Efficient Equivalence-Checking Algorithms for Procedural Programs in Progressive Semigroup Gateway Models

Crossref DOI link: https://doi.org/10.3103/S0278641919040071

Published Online: 2019-12-10

Published Print: 2019-10

Update policy: https://doi.org/10.1007/springer_crossmark_policy

About CrossMark