The language dynamic-real and its application for verification of SDL-specified distributed systems
Crossref DOI link: https://doi.org/10.1134/S0361768815010053
Published Online: 2015-01-22
Published Print: 2015-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nepomniaschy, V. A.
Bodin, E. V.
Veretnov, S. O.
Text and Data Mining valid from 2015-01-01