Chikmagalur Manjappa Prashanth

According to our database1, Chikmagalur Manjappa Prashanth authored at least 2 papers between 2008 and 2009.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Efficient Algorithms for Verification of UML Statechart Models.
J. Softw., 2009

2008
Verification Framework for Detecting Safety Violations in UML Statecharts.
Proceedings of the Second Asia International Conference on Modelling and Simulation, 2008


  Loading...