Cited in
(10)- Inapproximability Results for Computational Problems on Lattices
- Sawja
- ProMoVer
- MAVEN
- Moped
- The inapproximability of lattice and coding problems with preprocessing
- Mathematical modeling of age specific marital fertility rates in urban area of Bangladesh
- Mathematical modeling of age specific fertility rates and study the reproductivity in the rural area of Bangladesh during 1980-1998
- From safety critical Java programs to timed process models
- ProMoVer: modular verification of temporal safety properties
This page was built for software: CVPP
