Karandikar, P (Reprint Author), CNRS UMR 8643, Lab Specificat & Verificat, Cachan, France.
Karandikar, P.; Schnoebelen, Ph., CNRS UMR 8643, Lab Specificat & Verificat, Cachan, France.
Karandikar, P., Chennai Math Inst, Madras, Tamil Nadu, India.
Kufleitner, M., Univ Stuttgart, Inst Formale Methoden Informat, Stuttgart, Germany.