Visibly Linear Temporal Logic
Crossref DOI link: https://doi.org/10.1007/s10817-017-9410-z
Published Online: 2017-03-11
Published Print: 2018-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bozzelli, Laura
Sánchez, César http://orcid.org/0000-0003-3927-4773
Funding for this research was provided by:
Spanish MINECO (TIN2012-39391-C04-01 STRONGSOFT, TIN2012-38137-C02 VIVAC)
EU COST (IC1402 ArVi)
License valid from 2017-03-11