Construction of CFC-Programs by LTL-Specification
Crossref DOI link: https://doi.org/10.3103/S0146411617070173
Published Online: 2018-02-07
Published Print: 2017-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ryabukhin, D. A.
Kuzmin, E. V.
Sokolov, V. A.
Text and Data Mining valid from 2017-12-01
Article History
Received: 1 March 2016
First Online: 7 February 2018