The following pages link to Pritha Mahata (Q2851069):
Displayed 6 items.
- (Q2851070) (← links)
- (Q4804925) (← links)
- Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness (Q5310677) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464758) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465885) (← links)
- (Q5503431) (← links)