Prikaz rezultata 1 – 2 od 2 za pretragu 'Sebastian Küpper', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 1
    Conditional Bisimilarity for Reactive Systems

    Conditional Bisimilarity for Reactive Systems od Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow

    Izdano 2022-01-01
    Preuzmi cijeli tekst
    Članak
  2. 2
    A coalgebraic treatment of conditional transition systems with upgrades

    A coalgebraic treatment of conditional transition systems with upgrades od Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann

    Izdano 2018-02-01
    Preuzmi cijeli tekst
    Članak

Alati za pretragu: