A systematic study on explicit-state non-zenoness checking for timed automata
10.1109/TSE.2014.2359893
Saved in:
Main Authors: | , , , , , , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
Institute of Electrical and Electronics Engineers Inc.
2016
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/127382 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |