Travelled to:1 × Denmark
1 × Finland
Collaborated with:P.A.Abdulla J.Deneux B.Jonsson J.d'Orso
Talks about:regular (1) network (1) multi (1) model (1) clock (1) check (1) tree (1) time (1)
Person: Pritha Mahata
DBLP: Mahata:Pritha
Contributed to:
2004
2002Wrote 2 papers:
- LICS-2004-AbdullaDM #multi #network
- Multi-Clock Timed Networks (PAA, JD, PM), pp. 345–354.
- CAV-2002-AbdullaJMd #model checking
- Regular Tree Model Checking (PAA, BJ, PM, Jd), pp. 555–568.