Xtend Transformation from PDDL to Event-B
Crossref DOI link: https://doi.org/10.1007/978-3-031-16014-1_50
Published Online: 2022-09-21
Published Print: 2022
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fourati, Farah
Bhiri, Mohamed Tahar
Robbana, Riadh
Text and Data Mining valid from 2022-01-01
Version of Record valid from 2022-01-01
Chapter History
First Online: 21 September 2022