Bisimulations and prebisimulations for timed automata

No Thumbnail Available

Files

TH-5139.pdf (413.64 KB)

Date

2016

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Real time systems

Citation

URI

http://10.17.50.146:4000/handle/123456789/2482

Collections

Department of Computer Science and Engineering

Endorsement

Review

Supplemented By

Referenced By