The following pages link to Chittaranjan Mandal (Q520249):
Displaying 5 items.
- Deriving bisimulation relations from path based equivalence checkers (Q520250) (← links)
- Translation validation of coloured Petri net models of programs on integers (Q2089749) (← links)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points (Q2415374) (← links)
- A Path Construction Algorithm for Translation Validation Using PRES+ Models (Q4598923) (← links)
- (Q5008166) (← links)
