Model-checking based data retrieval : an application to semistructured and temporal data


Elisa Quintarelli
Bok Engelsk 2004

Detaljer

Bibliotek som har denne