Davide Bresolin
Bresolin, Davide
VIAF ID: 307345564 (Personal)
Permalink: http://viaf.org/viaf/307345564
Preferred Forms
- 200 _ 1 ‡a Bresolin ‡b , Davide
- 100 0 _ ‡a Davide Bresolin
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Proof methods for interval temporal logics : Ph.D. thesis / Davide Bresolin ; supervisore: Angelo Montanari |