Bisimulations and prebisimulations for timed automata

No Thumbnail Available

Date

2016

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Real time systems

Citation

Endorsement

Review

Supplemented By

Referenced By