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
41
views
0
references
Top references
cited by
91
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,001
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Symbolic Model Checking for Real-Time Systems
Author(s):
T.A. Henzinger
,
X. Nicollin
,
J. Sifakis
,
S. Yovine
Publication date
Created:
June 1994
Publication date
(Print):
June 1994
Journal:
Information and Computation
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Further versions
open (via crossref license)
oa repository (via OAI-PMH title and first author match)
Powered by
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.
Abstract
Related collections
Model Reduction of Parametrized Systems 2015
Author and article information
Journal
Title:
Information and Computation
Abbreviated Title:
Information and Computation
Publisher:
Elsevier BV
ISSN (Print):
08905401
Publication date Created:
June 1994
Publication date (Print):
June 1994
Volume
: 111
Issue
: 2
Pages
: 193-244
Article
DOI:
10.1006/inco.1994.1045
SO-VID:
df050088-c890-44d8-87ae-f4cbfd7a8a20
Copyright ©
© 1994
License:
http://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
3,001
Diagnostic checking in regression relationships
Authors:
A. ZEILEIS
,
T. HOTHORN
,
A Zeileis
…
How Entrepreneurs Use Symbolic Management to Acquire Resources
Authors:
Christoph Zott
,
Quy Nguyen Huy
The Mediterranean in check: Biological invasions in a changing sea
Authors:
Adriana Giangrande
,
Cataldo Pierri
,
Michela del Pasqua
…
See all similar
Cited by
89
Automatic symbolic verification of embedded systems
Authors:
Pei-Hsin Ho
,
R. Alur
,
T.A. Henzinger
Automatic verification of real-time systems with discrete probability distributions
Authors:
Marta Kwiatkowska
,
Gethin Norman
,
Roberto Segala
…
Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
Authors:
L.C.G.J.M. Habets
,
P.J. Collins
,
J.H. Van Schuppen
See all cited by