Kumar, S. ArunGuha, Shibashis2017-02-092024-10-292016http://10.17.50.146:4000/handle/123456789/2482Real time systemsBisimulations and prebisimulations for timed automataThesis