Items where Division is "Informatics and Data Science > General computer science > Theoretische Informatik (Prof. Dr. Philipp Rümmer)" and Year is 2025

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Jump to: H
Number of items: 1.

H

Hong, Chih-Duo and Lin, Anthony W. and Rümmer, Philipp and Majumdar, Rupak (2025) Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 51 (6). pp. 1801-1817. ISSN 0098-5589, 1939-3520

This list was generated on Mon Jun 22 20:26:48 2026 CEST.
pred is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.