CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings Katoen Joost-Pieter Heftet / 2011 / Engelsk
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings Chechik Marsha Heftet / 2023 / Engelsk
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings Guan Nan Heftet / 2019 / Engelsk
