Timed vs. Time-triggered automata
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
Main Authors: | , , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39362 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-39362 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-393622015-01-12T07:27:17Z Timed vs. Time-triggered automata Krčál, P. Mokrushin, L. Thiagarajan, P.S. Yi, W. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3170 340-354 2013-07-04T07:39:56Z 2013-07-04T07:39:56Z 2004 Article Krčál, P.,Mokrushin, L.,Thiagarajan, P.S.,Yi, W. (2004). Timed vs. Time-triggered automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3170 : 340-354. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/39362 NOT_IN_WOS Scopus |
institution |
National University of Singapore |
building |
NUS Library |
country |
Singapore |
collection |
ScholarBank@NUS |
description |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
author2 |
COMPUTER SCIENCE |
author_facet |
COMPUTER SCIENCE Krčál, P. Mokrushin, L. Thiagarajan, P.S. Yi, W. |
format |
Article |
author |
Krčál, P. Mokrushin, L. Thiagarajan, P.S. Yi, W. |
spellingShingle |
Krčál, P. Mokrushin, L. Thiagarajan, P.S. Yi, W. Timed vs. Time-triggered automata |
author_sort |
Krčál, P. |
title |
Timed vs. Time-triggered automata |
title_short |
Timed vs. Time-triggered automata |
title_full |
Timed vs. Time-triggered automata |
title_fullStr |
Timed vs. Time-triggered automata |
title_full_unstemmed |
Timed vs. Time-triggered automata |
title_sort |
timed vs. time-triggered automata |
publishDate |
2013 |
url |
http://scholarbank.nus.edu.sg/handle/10635/39362 |
_version_ |
1681082081256407040 |