Items where Author is "Kiefer, S"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Semukhin, P, Kiefer, S and Widdershoven, C (2021) Linear-Time Model Checking Branching Processes. In: LIPIcs : Leibniz International Proceedings in Informatics , 203 (6). 6:1-6:16. (32nd International Conference on Concurrency Theory (CONCUR 2021), 24 August 2021 - 27 August 2021, Virtual Event).

This list was generated on Fri May 16 13:54:57 2025 UTC.