The following pages link to CVPP (Q12946):
Displayed 6 items.
- The inapproximability of lattice and coding problems with preprocessing (Q1881262) (← links)
- ProMoVer: Modular Verification of Temporal Safety Properties (Q3095249) (← links)
- From Safety Critical Java Programs to Timed Process Models (Q3460876) (← links)
- Inapproximability Results for Computational Problems on Lattices (Q5188550) (← links)
- (Q5439193) (← links)
- (Q5439230) (← links)