Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data Quintarelli, Elisa Heftet / 2004 / Engelsk
Web Engineering 24th International Conference, ICWE 2024, Tampere, Finland, June 17–20, 2024, Proceedings Stefanidis Kostas Heftet / 2024 / Engelsk
