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

Sound and complete witnesses for template-based verification of LTL properties on polynomial programs

Chatterjee, Krishnendu ; https://orcid.org/0000-0002-4561-241X 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 653000
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.