Login / Signup
Infinite Unfolding and Transformations of Nondeterministic Programs.
Björn Lisper
Published in:
Fundam. Informaticae (2005)
Keyphrases
</>
database
finite state
control structures
neural network
real time
data sets
computer vision
petri net
computer programs
automatic programming
finite sets
provably correct