Lars Stoltenow: Conditional Bisimilarity for Reactive Systems (FSCD B)
Channel: IJCAR-FSCD 2020
Date: 12/07/2020

Authors: Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow

Aired: 2020-02-03 15:00:00 CEST (UTC+2)