Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
51
views
16
references
Top references
cited by
9
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,934
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Omega-Regular Model Checking
other
Author(s):
Bernard Boigelot
,
Axel Legay
,
Pierre Wolper
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
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
Business Model Innovation in engineering
Most cited references
16
Record
: found
Abstract
: not found
Book Chapter
: not found
AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
John Hopcroft
(1971)
0
comments
Cited
81
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A note on reliable full-duplex transmission over half-duplex links
K. Bartlett
,
R. Scantlebury
,
P. T. Wilkinson
(1969)
0
comments
Cited
37
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Iterating Transducers in the Large
Bernard Boigelot
,
Axel Legay
,
Pierre Wolper
(2003)
0
comments
Cited
21
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 561-575
DOI:
10.1007/978-3-540-24730-2_41
SO-VID:
ec4ed771-be57-4a7a-a979-3e282ddd10f6
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 16
An Interpolating Theorem Prover
pp. 342
Automatic Verification of Time Sensitive Cryptographic Protocols
pp. 31
Minimal Assignments for Bounded Model Checking
pp. 576
FASTer Acceleration of Counter Automata in Practice
pp. 108
Error Explanation with Distance Metrics
pp. 205
Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient
pp. 251
The Succinct Solver Suite
pp. 421
Applying Game Semantics to Compositional Software Modeling and Verification
pp. 451
How Vacuous Is Vacuous?
pp. 467
A Temporal Logic of Nested Calls and Returns
pp. 512
Numeric Domains with Summarized Dimensions
pp. 530
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
pp. 546
Monotonic Abstraction-Refinement for CTL
pp. 561
Omega-Regular Model Checking
pp. 591
From Complementation to Certification
Similar content
2,934
Optimization of the carrot leaf dehydration aiming at the preservation of omega-3 fatty acids
Authors:
Vanessa Almeida
,
Elton Bonafe
,
Edvani Muniz
…
Effect of omega-3 and vitamin E supplementation on dry mouth in patients with Sjögren's syndrome.
Authors:
Medha Singh
,
Paul Stark
,
Carole Palmer
…
Purchaser Licensing, Point-of-Sale Background Check Laws, and Firearm Homicide and Suicide in 4 US States, 1985–2017
Authors:
Alexander McCourt
,
Cassandra Crifasi
,
Elizabeth A. Stuart
…
See all similar
Cited by
9
Computable fixpoints in well-structured symbolic model checking
Authors:
P. Schnoebelen
,
N Bertrand
T(O)RMC: A Tool for (ω)-Regular Model Checking
Authors:
Axel Legay
Widening techniques for regular tree model checking
Authors:
Ahmed Bouajjani
,
Tayssir Touili
See all cited by