On the Synthesis of Zero-Safe Nets.

Philippe Darondeau

Published in: Concurrency, Graphs and Models (2008)

Keyphrases

program synthesis
neural network
information retrieval
database systems
object recognition
search space
special case
texture synthesis