Treffer 1 - 1 von 1 für Suche 'Rivera Verduzco, Jao', Suchdauer: 0,45s Treffer weiter einschränken
  1. 1
    An Efficient Algorithm to Determine Probabilistic Bisimulation

    An Efficient Algorithm to Determine Probabilistic Bisimulation von Groote, Jan Friso, Rivera Verduzco, Jao, De Vink, Erik P.

    Veröffentlicht in Algorithms

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: