Teaching Academic Concurrency to Amazing Students
Type
Publication
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Cite
@inproceedings{biewerTeachingAcademicConcurrencyTo2017,
author = {Sebastian Biewer and
Felix Freiberger and
Pascal L. Held and
Holger Hermanns},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/birthday/BiewerFHH17.bib},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
doi = {10.1007/978-3-319-63121-9_9},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ingólfsdóttir and
Axel Legay and
Radu Mardare},
pages = {170--195},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {Sun, 02 Oct 2022 15:55:45 +0200},
title = {Teaching Academic Concurrency to Amazing Students},
url = {https://doi.org/10.1007/978-3-319-63121-9_9},
volume = {10460},
year = {2017}
}