Temporal Logics in Computer Science Finite State Systems 1st Edition Stéphane Demri Ebook Legacy Editionivfxkfuch1823
Dynamic MR Imaging (DEMRI) of Microcirculation in Bone SarcomaReddick · Journal of Magnetic Resonance Imaging1999PDF244 KB
Incomplete Information: Structure, Inference, Complexityby Stéphane P. Demri; Ewa S. OrłowskaJärvinen · Springer Netherlands2006PDF1.0 MB
S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State SystemsPinchinat · Springer Netherlands2019PDF208 KB
Hybrid Artificial Neural Network Segmentation and Classification of Dynamic Contrast-enhanced MR Imaging (DEMRI) of OsteosarcomaGlass · Magnetic Resonance Imaging1998PDF340 KB
Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.Lodaya · Bulletin of Symbolic Logic2017PDF62 KB
