%0 Conference Paper %1 conf/concur/CastellaniGKRS22 %A Castellani, Ilaria %A Gastin, Paul %A Kupferman, Orna %A Randour, Mickael %A Sangiorgi, Davide %B CONCUR %D 2022 %E Klin, Bartek %E Lasota, Slawomir %E Muscholl, Anca %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 1:1-1:3 %T CONCUR Test-Of-Time Award 2022 (Invited Paper). %U http://dblp.uni-trier.de/db/conf/concur/concur2022.html#CastellaniGKRS22 %V 243 %@ 978-3-95977-246-4

@inproceedings{conf/concur/CastellaniGKRS22, added-at = {2022-09-26T00:00:00.000+0200}, author = {Castellani, Ilaria and Gastin, Paul and Kupferman, Orna and Randour, Mickael and Sangiorgi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/21b11c4dfbf6a539323d1b91be8161fc6/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2022}, editor = {Klin, Bartek and Lasota, Slawomir and Muscholl, Anca}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.1}, interhash = {d0d1a4347888e055963f1fc1971e00de}, intrahash = {1b11c4dfbf6a539323d1b91be8161fc6}, isbn = {978-3-95977-246-4}, keywords = {dblp}, pages = {1:1-1:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T23:26:33.000+0200}, title = {CONCUR Test-Of-Time Award 2022 (Invited Paper).}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2022.html#CastellaniGKRS22}, volume = 243, year = 2022 }