Semantics-driven extraction of timed automata from Java programs
Crossref DOI link: https://doi.org/10.1007/s10664-019-09699-5
Published Online: 2019-03-22
Published Print: 2019-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Liva, Giovanni http://orcid.org/0000-0002-9337-5762
Khan, Muhammad Taimoor
Pinzger, Martin
Funding for this research was provided by:
Österreichische Forschungsförderungsgesellschaft (850757)
Text and Data Mining valid from 2019-03-22
Article History
First Online: 22 March 2019