ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
20
views
80
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,587
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
A menagerie of timed automata
Author(s):
Peter Fontana
,
Rance Cleaveland
Publication date
Created:
January 01 2014
Publication date
(Print):
January 01 2014
Journal:
ACM Computing Surveys
Publisher:
Association for Computing Machinery (ACM)
Read this article at
ScienceOpen
Publisher
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
80
Record
: found
Abstract
: not found
Article
: not found
What's Decidable about Hybrid Automata?
Thomas Henzinger
,
Peter W. Kopke
,
Anuj Puri
…
(1998)
0
comments
Cited
95
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Model-Checking in Dense Real-Time
D. Dill
,
C. Courcoubetis
,
R. Alur
(1993)
0
comments
Cited
93
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Symbolic Model Checking for Real-Time Systems
J. Sifakis
,
T.A. Henzinger
,
S. Yovine
…
(1994)
0
comments
Cited
91
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Title:
ACM Computing Surveys
Abbreviated Title:
ACM Comput. Surv.
Publisher:
Association for Computing Machinery (ACM)
ISSN (Print):
03600300
Publication date Created:
January 01 2014
Publication date (Print):
January 01 2014
Volume
: 46
Issue
: 3
Pages
: 1-56
Article
DOI:
10.1145/2518102
SO-VID:
cc066ad1-fb27-4bc3-892e-40429a042c9f
Copyright ©
© 2014
License:
http://www.acm.org/publications/policies/copyright_policy#Background
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
1,587
Market Menagerie: Health and Development in Late Industrial States
Authors:
S Srinivas
Start in die Moderne: Die Entwicklung der kaiserlichen Menagerie unter Alois Kraus
Authors:
Gerhard Heindl
High-Dimensional Menger-Type Curvatures-Part II d-Separation and a Menagerie of Curvatures
Authors:
Gilad Lerman
,
J. Howard Whitehouse
See all similar
Cited by
1
Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks
Authors:
Zhi Chen
,
Ya Peng
,
Wenjing Yue
See all cited by
Most referenced authors
274
F Wang
R Gomez
Yi Wang
See all reference authors