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
4
views
23
references
Top references
cited by
5
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,557
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
CONCUR 2006 – Concurrency Theory
Inference of Event-Recording Automata Using Timed Decision Trees
other
Author(s):
Olga Grinchtein
,
Bengt Jonsson
,
Paul Pettersson
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
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
Genome Engineering using CRISPR
Most cited references
23
Record
: found
Abstract
: not found
Article
: not found
Language identification in the limit
E Gold
(1967)
0
comments
Cited
229
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A theory of timed automata
Rajeev Alur
,
David Dill
(1994)
0
comments
Cited
139
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
An Introduction to Computational Learning Theory
Michael Kearns
,
Umesh Vazirani
(1994)
0
comments
Cited
67
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 435-449
DOI:
10.1007/11817949_29
SO-VID:
8b6bf5a7-8288-455e-9b84-e54acd018137
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 248
Sortings for Reactive Systems
pp. 390
Weak Bisimulation Up to Elaboration
pp. 37
Sanity Checks in Formal Verification
pp. 52
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
pp. 64
Probability and Nondeterminism in Operational Models of Concurrency
pp. 233
A New Type System for Deadlock-Free Processes
pp. 406
Generic Forward and Backward Simulations
pp. 435
Inference of Event-Recording Automata Using Timed Decision Trees
pp. 477
A Language for Task Orchestration and Its Semantic Properties
Similar content
2,557
Land use and land cover change dynamics and modeling future urban growth using cellular automata model over isfahan metropolitan area of Iran
Authors:
Mahdavi Estalkhsari
Fast algorithm for multiple-circle detection on images using learning automata
Authors:
E Cuevas
,
M Pérez-Cisneros
,
V. Osuna-Enciso
…
A Hierarchy of Polynomial-Time Computable Simulations for Automata
Authors:
Kousha Etessami
See all similar
Cited by
5
Automata Learning with Automated Alphabet Abstraction Refinement
Authors:
Falk Howar
,
Bernhard Steffen
,
Maik Merten
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
Authors:
Fides Aarts
,
Bengt. Jonsson
,
Johan Uijen
Introduction to Active Automata Learning from a Practical Perspective
Authors:
Bernhard Steffen
,
Falk Howar
,
Maik Merten
See all cited by