Login / Signup
Abstraction as a Unifying Link for Formal Approaches to Concurrency.
Cliff B. Jones
Published in:
SEFM (2012)
Keyphrases
</>
high level
hidden markov models
alternative approaches
strengths and weaknesses
relational databases
evolutionary algorithm
formal methods