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
28
views
0
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
0
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
other
Editor(s):
Tevfik Bultan
,
Pao-Ann Hsiung
Publication date
(Print):
2011
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH doi match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Tsinghua Science and Technology
Author and book information
Book
ISBN (Print):
978-3-642-24371-4
ISBN (Electronic):
978-3-642-24372-1
Publication date (Print):
2011
DOI:
10.1007/978-3-642-24372-1
SO-VID:
09c411cd-0fb6-43f3-9d12-97ef3b945a2c
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Statistical Model Checking for Cyber-Physical Systems
pp. 321
Multi-core Nested Depth-First Search
pp. 336
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
pp. 381
Parallel Nested Depth-First Searches for LTL Model Checking
pp. 443
Hierarchical Counterexamples for Discrete-Time Markov Chains
pp. 306
Small Strategies for Safety Games
pp. 482
What’s Decidable about Weighted Automata?
pp. 511
Learning-Based Compositional Verification for Synchronous Probabilistic Systems