Conceptio › Archive › Ista Publications Publications At The Institute Of Science And Technology Austria
Ista Publications Publications At The Institute Of Science And Technology Austriametadata only

Data for Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs

Chatterjee, Krishnendu et al.
Ista Publications Publications At The Institute Of Science And Technology Austria · Other
Open Source ↗
ddc:000
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Related documents

Record · ID 653002
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.