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 references 17

Record: found
Abstract: not found
Article: not found

Containers and Cloud: From LXC to Docker to Kubernetes

David Bernstein (2014)

0 comments Cited 62 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation

Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille … (2016)

0 comments Cited 36 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

LoLA A Low Level Analyser

Karsten Schmidt (2000)

0 comments Cited 16 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2018

Publication date (Online): May 08 2018

Pages: 385-395

DOI: 10.1007/978-3-319-91268-4_21

SO-VID: a1513645-6436-4088-97da-21e8763e8405

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes
Authors: Jan Röwekamp, Daniel Moldt

See all cited by

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 17

Containers and Cloud: From LXC to Docker to Kubernetes

Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation

LoLA A Low Level Analyser

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,574

Cited by 1