Travelled to:
1 × USA
Collaborated with:
P.K.Pandya
Talks about:
interv (1) logic (1) durat (1) digit (1)
Person: Gaurav Chakravorty
DBLP: Chakravorty:Gaurav
Contributed to:
Wrote 1 papers:
- CAV-2003-ChakravortyP #logic
- Digitizing Interval Duration Logic (GC, PKP), pp. 167–179.