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
26
views
0
references
Top references
cited by
38
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,442
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Symbolic model checking: 1020 States and beyond
Author(s):
J.R. Burch
,
E.M. Clarke
,
K.L. McMillan
,
D.L. Dill
,
L.J. Hwang
Publication date
Created:
June 1992
Publication date
(Print):
June 1992
Journal:
Information and Computation
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Further versions
open (via crossref license)
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
Business Model Innovation in engineering
Author and article information
Journal
Title:
Information and Computation
Abbreviated Title:
Information and Computation
Publisher:
Elsevier BV
ISSN (Print):
08905401
Publication date Created:
June 1992
Publication date (Print):
June 1992
Volume
: 98
Issue
: 2
Pages
: 142-170
Article
DOI:
10.1016/0890-5401(92)90017-A
SO-VID:
b800a814-d4d0-4ba7-bee1-1bcdb94e2a93
Copyright ©
© 1992
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,442
Study on temperature, force and specific energy of AISI 1020 under MQL grinding process
Authors:
Temperature dependence of electron concentration and mobility in n-GaN measured up to 1020 K
Authors:
H. TOKUDA
,
K Kodama
,
M. Kuzuhara
Damage characterization of SAE 1020 and 1045 steel under torsion and compression
Authors:
M Zheng
,
C. Hu
,
Z.J. Luo
…
See all similar
Cited by
142
The model checker SPIN
Authors:
G.J. Holzmann
Simple On-the-fly Automatic Verification of Linear Temporal Logic
Authors:
R Gerth
,
D Peled
,
M. Y. Vardi
…
Computational techniques for the verification of hybrid systems
Authors:
C.J. Tomlin
,
I. Mitchell
,
A.M. Bayen
…
See all cited by