P. Vijay Suman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

3EEP. Vijay Suman, Paritosh K. Pandya: Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions. LATA 2009: 728-739
2EESwarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang: Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC 2008: 296-299
1EEP. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa: Timed Automata with Integer Resets: Language Inclusion and Expressiveness. FORMATS 2008: 78-92

Coauthor Index

1Manoj G. Dixit [2]
2Shengbing Jiang [2]
3Shankara Narayanan Krishna [1]
4Lakshmi Manasa [1]
5Swarup Mohalik [2]
6Paritosh K. Pandya [1] [2] [3]
7A. C. Rajeev [2]
8S. Ramesh (Sethu Ramesh) [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)