Bisimulations and prebisimulations for timed automata

Simple item page
dc.contributor.advisorKumar, S. Arun
dc.contributor.authorGuha, Shibashis
dc.date.accessioned2017-02-09
dc.date.accessioned2024-10-29T10:56:44Z
dc.date.issued2016
dc.identifier.urihttp://10.17.50.146:4000/handle/123456789/2482
dc.relation.ispartofseriesTH5139
dc.subjectReal time systems
dc.titleBisimulations and prebisimulations for timed automata
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH-5139.pdf
Size:
413.64 KB
Format:
Adobe Portable Document Format
Download

Collections

Department of Computer Science and Engineering