{"product_id":"elisa-quintarelli-model-checking-based-data-retrieval-9783540209713","title":"Model-Checking Based Data Retrieval","description":"1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54716120924502,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540209713_1.jpg?v=1791105672","url":"https:\/\/www.momoxbooks.com\/de\/products\/elisa-quintarelli-model-checking-based-data-retrieval-9783540209713","provider":"momox","version":"1.0","type":"link"}