Crossmark

A Temporal Logic for Programmable Logic Controllers

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

Published Online: 2022-02-01

Published Print: 2021-12

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

Authors

Garanina, N. O. http://orcid.org/0000-0001-9734-3808
Anureev, I. S. http://orcid.org/0000-0001-9574-128X
Zyubin, V. E. http://orcid.org/0000-0002-8198-3197
Staroletov, S. M. http://orcid.org/0000-0001-5183-9736
Liakh, T. V. http://orcid.org/0000-0001-9148-946X
Rozov, A. S. http://orcid.org/0000-0002-7468-0411
Gorlatch, S. P. http://orcid.org/0000-0003-3857-9380
License Information

Text and Data Mining valid from 2021-12-01

Version of Record valid from 2021-12-01
More Information

Article History

Received: 12 November 2020

Revised: 2 December 2020

Accepted: 16 December 2020

First Online: 1 February 2022

CONFLICT OF INTEREST

: The authors declare that they have no conflicts of interest.