- Record: found
- Abstract: not found
- Book Chapter: not found
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references17
- Record: found
- Abstract: not found
- Article: not found
Containers and Cloud: From LXC to Docker to Kubernetes
David Bernstein (2014)
- Record: found
- Abstract: not found
- Book Chapter: not found
Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation
- Record: found
- Abstract: not found
- Book Chapter: not found
LoLA A Low Level Analyser
Karsten Schmidt (2000)