CAP Project

[BiewerFHH17] Teaching Academic Concurrency to Amazing Students Biewer, S.; Freiberger, F.; Held, P. L. and Hermanns, H. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pages 170-195, Springer, Lecture Notes in Computer Science 10460, 2017.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-63121-9_9