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
Done
Inviting an author to review:
Regulation of inflammatory responses by gut microbiota and chemoattractant receptor GPR43.
Find an author and click ‘
Invite to review selected article
’ near their name.
Search for authors
Search for similar articles
Invite by email
27
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
2,808
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
2,808
A Synthesis of Harvested Wood Product Carbon Models. General Technical Report PNW‐GTR‐1020.
Authors:
K. Lucey T.
Desenvolvimento e uso do compósito de Nb2O5|Cu como revestimento aplicado por aspersão térmica sobre o aço AISI 1020 para proteção contra a corrosão pelo solo em estruturas enterradas
Authors:
Oscar Regis Junior
,
José Silva
,
Kleber Portella
…
GM-1020: a novel, orally bioavailable NMDA receptor antagonist with rapid and robust antidepressant-like effects at well-tolerated doses in rodents
Authors:
Adam K. Klein
,
Eric W. Austin
,
Michael J. Cunningham
…
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