Login / Signup
Ein Analyse-Synthese-Satz für lokal-endliche ND-Automaten.
Jan Grabowski
Published in:
J. Inf. Process. Cybern. (1974)
Keyphrases
</>
sat solvers
objective function
keywords
lower bound
dynamic environments
petri net