Space-time interpolants

Frehse, Goran and Giacobbe, Mirco and Henzinger, Thomas A (2018) Space-time interpolants. In: CAV: Computer Aided Verification, July 14-17, 2018, Oxford, UK. (Unpublished)

[img] Text
space-time_interpolants.pdf - Submitted Version
Available under License All rights reserved.
[IST-2018-1010-v1+1]
Download (550Kb)
Item Type: Conference or Workshop Item (Paper)
Subjects: 000 Computer science, knowledge & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data
Research Group: Henzinger Group
Depositing User: Mirco Giacobbe
Date Deposited: 17 Apr 2018 07:07
Last Modified: 17 Apr 2018 07:07
URI: https://repository.ist.ac.at/id/eprint/1010

Actions (login required)

View Item View Item