Search results for: Ashutosh Trivedi
IEEE Transactions on Power Electronics > 2017 > 32 > 8 > 6595 - 6604
Theoretical Computer Science > 2016 > 631 > C > 139-160
IET Power Electronics > 2016 > 9 > 5 > 1029 - 1036
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 48-62
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 306-324
Acta Geotechnica > 2010 > 5 > 1 > 15-31