This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Journal title: Różowski , W , Kappé , T , Kozen , D , Schmid , T & Silva , A 2023 , Probabilistic Guarded KAT Modulo Bisimilarity : Completeness and Complexity . in K Etessami , U Feige & G Puppis (eds) , 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 . vol. 261 , 136 , Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , Leibniz International Proceed
Journal number: 4
Journal publisher: LIPICS
Published year: 2023
DOI identifier: 10.4230/lipics.icalp.2023.136
- Not specified