Items where Author is "Lin, Anthony W."
Number of items: 1.
Lengál, Ondrej and Lin, Anthony W. and Majumdar, Rupak and Rümmer, Philipp
(2017)
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
CoRR, abs/17.
This list was generated on Sun Dec 22 04:22:09 2024 CET.