Search - IFIP Open Digital Library

1 Array

Structure: Internal structure identifier : 60947

hal_authIdPerson_i : 1248530

	For these 1 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Introducing Interval Differential Dynamic Logic Daniel Figueiredo 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.69-75, ⟨10.1007/978-3-030-89247-0_5⟩ Conference papers hal-04074513v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More