Browse by ["viewname_eprint_publisher" not defined]

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 at this level: 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 Sat Jun 20 14:36:09 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.