Login / Signup
Regular Processes and Timed Automata.
Pedro R. D'Argenio
Published in:
ARTS (1997)
Keyphrases
</>
image segmentation
timed automata
model checking
reachability analysis
computational models
data sets
theorem prover
computational model
data structure
multiresolution
evolutionary algorithm
first order logic
three dimensional
genetic algorithm
theorem proving
information retrieval
real time