Crossmark

A combined toolset for the verification of real-time distributed systems

Crossref DOI link: https://doi.org/10.1134/S0361768815060080

Published Online: 2015-11-15

Published Print: 2015-11

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

Authors

Volkanov, D. Yu.

Zakharov, V. A.

Zorin, D. A.

Podymov, V. V.

Konnov, I. V.
License Information

Text and Data Mining valid from 2015-11-01