@inproceedings{Jan2021,
Author = {Jan Steffen Becker},
Title = {Model Checking Amalthea with Spin},

Year = {2021},
Series = {CEUR Workshop Proceedings},
Booktitle = {Software Engineering (Satellite Events)},
Url = {http://ceur-ws.org/Vol-2814/paper-A3-1.pdf},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }